Bruno Blanchet

Sujets de recherche:

• ProVerif, vérificateur de protocoles cryptographiques dans le modèle symbolique
• CryptoVerif, vérificateur de protocoles cryptographiques dans le modèle calculatoire

Publications

Exposés

Enseignement:

• MPRI (Master Parisien de Recherche en Informatique), cours 2-30 Preuves de protocoles de sécurité

Conférences

• Usenix'25 (PC member)
• FOSAD'24 summer school (Lecturer)
• CCS'24 (PC member)
• HCVS'24 (PC member)

Responsable local des projets SVP (PEPR Cybersécurité) et PQ-TLS (PEPR Quantique) pour l'équipe Prosecco.

• Benjamin Lipp
• Nadim Kobeissi (Karthik Bhargavan était son directeur de thèse et principal encadrant.)
• David Cadé
• Miriam Paiola

• Participant des projets AnaStaSec, NEXTLEAP et TECAP.
• 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