Bruno Blanchet

Research interests:

• Verification of security protocols in the formal model, verifier ProVerif
• Verification of security protocols in the computational model, verifier CryptoVerif

Publications

Talks

Teaching at MPRI (Parisian Master of Research in Computer Science), course 2-30 Cryptographic protocols: formal and computational proofs

PhD students:

• David Cadé
• Miriam Paiola

Conferences:

• POST'13 (PC member)
• FCC'12 (PC member)
• CCS'12 (PC member)
• FM'2012 (PC member)

Associate Editor International Journal of Applied Cryptography (IJACT)

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