Enseignement


Année 2019-2020
  1. Cours M2 - Master SIF - Rennes 1 Security Protocols (SEP)
  2. Cours sur la vérification de protocoles à l'INSA (5ème année)
  3. Projet INFO 4ème année à l'INSA sur "Vers une vérification efficace des protocoles de sécurité"