Actualités

  •  Journées nationales du pré-GDRLe Pré-GDR Sécurité Informatique organise ses  journées nationales du 30 mai au 1er juin 2018 à Sorbonne Universités, Paris, site de Jussieu. Une demi journée  « méthodes formelles pour la sécurité » est également organisée à cette occasion par Tamara Rezk.
  • La première édition des journées du GT Méthodes Formelles pour la Sécurité a eu lieu à l’ENS Paris-Saclay (Cachan) le mercredi 7 février 2018.
  • É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.