Bruno Blanchet

Research interests:

• ProVerif, automatic security protocol verifier in the symbolic model
• CryptoVerif, security protocol verifier in the computational model

Publications

Talks

Supervision:

• Benjamin Lipp (PhD student)

Teaching:

• MPRI (Parisian Master of Research in Computer Science), course 2-30 proofs of security protocols

Conferences

• 2022 Meeting of the WG "Formal Methods for Security" (PC member)

Associate Editor International Journal of Applied Cryptography (IJACT)

Member of the TECAP project.

• Nadim Kobeissi (Karthik Bhargavan was his main advisor.)
• David Cadé
• Miriam Paiola

• Participant of the projects AnaStaSec and NEXTLEAP.
• Coordinator of the ProSe project.
• Coordinator of the Formacrypt project
• Verification of critical software, Official Astrée project page
• Escape analysis for ML and Java, stack allocation and synchronization elimination (DEA training and PhD thesis)
• "Magistère" report
• The GOI machine (master's training)
• Caml-Light with dimensions (master's project)

Links