| 2026 | LICS | Formal Verification of Security Protocols: 25 Years of ProVerif (Invited Paper). | Stphanie Delaune |
| 2023 | ESORICS | Tamarin-Based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks. | Tristan Claverie, Gildas Avoine, Stphanie Delaune, Jos Lopes-Esteves |
| 2022 | ESORICS | One Vote Is Enough for Analysing Privacy. | Stphanie Delaune, Joseph Lallemand |
| 2022 | INDOCRYPT | New Algorithm for Exhausting Optimal Permutations for Generalized Feistel Networks. | Stphanie Delaune, Patrick Derbez, Arthur Gontier, Charles Prud'homme |
| 2021 | ACNS | Efficient Methods to Search for Best Differential Characteristics on SKINNY. | Stphanie Delaune, Patrick Derbez, Paul Huynh, Marine Minier, Victor Mollimard, Charles Prud'homme |
| 2021 | SP | An Interactive Prover for Protocol Verification in the Computational Model. | David Baelde, Stphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solne Moreau |
| 2020 | CCS | Security Analysis and Implementation of Relay-Resistant Contactless Payments. | Ioana Boureanu, Tom Chothia, Alexandre Debant, Stphanie Delaune |
| 2020 | ESORICS | Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. | Vronique Cortier, Stphanie Delaune, Jannik Dreier |
| 2019 | ESORICS | Symbolic Analysis of Terrorist Fraud Resistance. | Alexandre Debant, Stphanie Delaune, Cyrille Wiedling |
| 2018 | CCS | PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. | Mrio S. Alvim, Stphanie Delaune |
| 2018 | ESORICS | POR for Security Protocol Equivalences - Beyond Action-Determinism. | David Baelde, Stphanie Delaune, Lucca Hirschi |
| 2018 | ESORICS | Efficiently Deciding Equivalence for Standard Primitives and Phases. | Vronique Cortier, Antoine Dallon, Stphanie Delaune |
| 2016 | SP | A Method for Verifying Privacy-Type Properties: The Unbounded Case. | Lucca Hirschi, David Baelde, Stphanie Delaune |
| 2015 | CONCUR | Partial Order Reduction for Security Protocols. | David Baelde, Stphanie Delaune, Lucca Hirschi |
| 2015 | ESORICS | Checking Trace Equivalence: How to Get Rid of Nonces? | Rmy Chrtien, Vronique Cortier, Stphanie Delaune |
| 2014 | CONCUR | Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. | Rmy Chrtien, Vronique Cortier, Stphanie Delaune |
| 2013 | ICALP | From Security Protocols to Pushdown Automata. | Rmy Chrtien, Vronique Cortier, Stphanie Delaune |
| 2012 | CADE | Security Protocols, Constraint Systems, and Group Theories. | Stphanie Delaune, Steve Kremer, Daniel Pasaila |
| 2011 | CADE | Deciding Security for Protocols with Recursive Tests. | Mathilde Arnaud, Vronique Cortier, Stphanie Delaune |
| 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 |
| 2010 | ESORICS | Formal Analysis of Privacy for Vehicular Mix-Zones. | Morten Dahl, Stphanie Delaune, Graham Steel |
| 2009 | CADE | Computing Knowledge in Security Protocols under Convergent Equational Theories. | Stefan Ciobaca, Stphanie Delaune, Steve Kremer |
| 2009 | FORTE | Epistemic Logic for the Applied Pi Calculus. | Rohit Chadha, Stphanie Delaune, Steve Kremer |
| 2008 | LPAR | From One Session to Many: Dynamic Tags for Security Protocols. | Myrto Arapinis, Stphanie Delaune, Steve Kremer |
| 2007 | LPAR | Deciding Knowledge in Security Protocols for Monoidal Equational Theories. | Vronique Cortier, Stphanie Delaune |
| 2007 | LPAR | Protocol Verification Via Rigid/Flexible Resolution. | Stphanie Delaune, Hai Lin, Christopher Lynch |
| 2007 | STACS | Associative-Commutative Deducibility Constraints. | Sergiu Bursuc, Hubert Comon-Lundh, Stphanie Delaune |
| 2006 | ICALP | Symbolic Protocol Analysis in Presence of a Homomorphism Operator and | Stphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen |
| 2004 | CCS | A decision procedure for the verification of security protocols with explicit destructors. | Stphanie Delaune, Florent Jacquemard |