| 2022 | SP | ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. | Bruno Blanchet, Vincent Cheval, Vronique Cortier |
| 2021 | EuroCrypt | Analysing the HPKE Standard. | Jol Alwen, Bruno Blanchet, Eduard Hauck, Eike Kiltz, Benjamin Lipp, Doreen Riepel |
| 2021 | SP | SoK: Computer-Aided Cryptography. | Manuel Barbosa, Gilles Barthe, Karthik Bhargavan, Bruno Blanchet, Cas Cremers, Kevin Liao, Bryan Parno |
| 2017 | SP | Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate. | Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi |
| 2013 | CCS | Automatic verification of protocols with lists of unbounded length. | Bruno Blanchet, Miriam Paiola |
| 2009 | CAV | Models and Proofs of Protocol Security: A Progress Report. | Martn Abadi, Bruno Blanchet, Hubert Comon-Lundh |
| 2008 | CCS | Computationally sound mechanized proofs for basic and public-key Kerberos. | Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
| 2008 | SP | Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage. | Bruno Blanchet, Avik Chaudhuri |
| 2006 | CRYPTO | Automated Security Proofs with Sequences of Games. | Bruno Blanchet, David Pointcheval |
| 2006 | SP | A Computationally Sound Mechanized Prover for Security Protocols. | Bruno Blanchet |
| 2005 | LICS | Automated Verification of Selected Equivalences for Security Protocols. | Bruno Blanchet, Martn Abadi, Cdric Fournet |
| 2004 | ESOP | Just Fast Keying in the Pi Calculus. | Martn Abadi, Bruno Blanchet, Cdric Fournet |
| 2004 | SP | Automatic Proof of Strong Secrecy for Security Protocols. | Bruno Blanchet |
| 2003 | FOSSACS | Verification of Cryptographic Protocols: Tagging Enforces Termination. | Bruno Blanchet, Andreas Podelski |
| 2003 | PLDI | A static analyzer for large safety-critical software. | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2003 | PPDP | Automatic verification of cryptographic protocols: a logic programming approach. | Bruno Blanchet |
| 2003 | SAS | Computer-Assisted Verification of a Protocol for Certified Email. | Martn Abadi, Bruno Blanchet |
| 2002 | POPL | Analyzing security protocols with secrecy types and logic programs. | Martn Abadi, Bruno Blanchet |
| 2002 | SAS | From Secrecy to Authenticity in Security Protocols. | Bruno Blanchet |
| 2001 | FOSSACS | Secrecy Types for Asymmetric Communication. | Martn Abadi, Bruno Blanchet |
| 2001 | SAS | Abstracting Cryptographic Protocols by Prolog Rules. | Bruno Blanchet |
| 1999 | OOPSLA | Escape Analysis for Object-Oriented Languages: Application to Java. | Bruno Blanchet |
| 1998 | POPL | Escape Analysis: Correctness Proof, Implementation and Experimental Results. | Bruno Blanchet |