Bruno Blanchet

Sujets de recherche:

• Vérification de protocoles cryptographiques dans le modèle formel, vérificateur ProVerif
• Vérification de protocoles cryptographiques dans le modèle calculatoire, vérificateur CryptoVerif

Publications

Exposés

Enseignant au MPRI (Master Parisien de Recherche en Informatique), cours 2-30 Protocoles cryptographiques: preuves formelles et calculatoires

Etudiants en thèse:

• David Cadé
• Miriam Paiola

Conférences:

• POST'13 (PC member)
• CCS'12 (PC member)
• FM'12 (PC member)
• ETAPS'12 (Invited speaker)

Associate Editor International Journal of Applied Cryptography (IJACT)

Coordinateur du projet ProSe.

• Coordinateur du projet Formacrypt
• Vérification de logiciels critiques, Page officielle sur le projet Astrée
• Analyse d'échappement pour ML et Java, allocation en pile et élimination de synchronisations (stage de DEA et thèse)
• Rapport de magistère
• La géométrie de l'interaction (stage de maîtrise)
• Caml-Light avec dimensions (projet de maîtrise)

Liens