| 2026 | SP | Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs. | Vincent Cheval, Charlie Jacomme, Jessica Richards |
| 2025 | CCS | Subversion-resilient Key-exchange in the Post-quantum World. | Kvin Duverger, Pierre-Alain Fouque, Charlie Jacomme, Guilhem Niot, Cristina Onete |
| 2025 | SP | Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation. | Cas Cremers, Gal Horowitz, Charlie Jacomme, Eyal Ronen |
| 2022 | SP | A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols. | Cas Cremers, Caroline Fontaine, Charlie Jacomme |
| 2021 | SP | An Interactive Prover for Protocol Verification in the Computational Model. | David Baelde, Stphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solne Moreau |
| 2020 | CCS | Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets. | Hubert Comon, Charlie Jacomme, Guillaume Scerri |
| 2020 | LICS | Universal equivalence and majority of probabilistic programs over finite fields. | Gilles Barthe, Charlie Jacomme, Steve Kremer |
| 2018 | CCS | Symbolic Proofs for Lattice-Based Cryptography. | Gilles Barthe, Xiong Fan, Joshua Gancher, Benjamin Grgoire, Charlie Jacomme, Elaine Shi |