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

Conferences:

• ESSoS'11 (PC member)
• SecReT'10 (Invited speaker)
• CryptoForma workshop (Committee member)
• CCS'10 (PC member)
• CSF'10 (PC member)
• TACAS'10 (PC member)

Associate Editor International Journal of Applied Cryptography (IJACT)

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