Enseignement


Année 2017-2018
  1. Cours M2 - Master SIF - Rennes 1 Security Protocols (SEP)
  2. Cours sur la vérification de protocoles à l'INSA (5ème année)