Actualités

  • École d’été International Summer School on Information Security and Protection : Le CEA LIST a organisé du 17 au 21 juillet 2017 une école d’été centrée sur la protection et la sécurité de l’information à Gif sur Yvettes.
  • École d’été Models and Tools for Cryptographic Proofs : L’université de Bristol en collaboration avec l’Inria et le LORIA ont organisé du 10 au 13 juillet 2017 une école d’été sur la vérification formelle de protocoles de sécurité à Nancy.
  •  Journées nationales du pré-GDRLe Pré-GDR Sécurité Informatique a organisé ses premières journées nationales du 30 mai au 1er juin 2017 au siège du CNRS à Paris. Une demi journée « méthodes formelles pour la sécurité » a été organisée à cette occasion.

Les commentaires sont clos.