Bruno Blanchet

Research interests:

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

Publications

Talks

Teaching:

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

Conferences

In charge of project SVP (PEPR Cybersecurity) for Inria Paris and member of project PQ-TLS (PEPR Quantic).

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

• Participant of the projects AnaStaSec, NEXTLEAP, and TECAP.
• 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