| 2026 | LICS | Differential Tree Automata. | Rida Ait El Manssour, Vincent Cheval, Mahsa Shirmohammadi, James Worrell |
| 2026 | SP | Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs. | Vincent Cheval, Charlie Jacomme, Jessica Richards |
| 2022 | CCS | A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello. | Karthikeyan Bhargavan, Vincent Cheval, Christopher A. Wood |
| 2022 | SP | ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. | Bruno Blanchet, Vincent Cheval, Vronique Cortier |
| 2019 | CCS | Exploiting Symmetries When Proving Equivalence Properties for Security Protocols. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2018 | CAV | The DEEPSEC Prover. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2018 | SP | DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice. | Vincent Cheval, Steve Kremer, Itsaka Rakotonirina |
| 2014 | TACAS | APTE: An Algorithm for Proving Trace Equivalence. | Vincent Cheval |
| 2013 | CAV | Lengths May Break Privacy - Or How to Check for Equivalences with Length. | Vincent Cheval, Vronique Cortier, Antoine Plet |
| 2011 | CCS | Trace equivalence decision: negative tests and non-determinism. | Vincent Cheval, Hubert Comon-Lundh, Stphanie Delaune |
| 2010 | CADE | Automating Security Analysis: Symbolic Equivalence of Constraint Systems. | Vincent Cheval, Hubert Comon-Lundh, Stphanie Delaune |