| 2025 | ESORICS | Breaking Verifiability and Vote Privacy in CHVote. | Vronique Cortier, Alexandre Debant, Pierrick Gaudry |
| 2024 | ESORICS | Code Voting: When Simplicity Meets Security. | Vronique Cortier, Alexandre Debant, Florian Moser |
| 2023 | FC | Belenios with Cast as Intended. | Vronique Cortier, Alexandre Debant, Pierrick Gaudry, Stphane Glondu |
| 2022 | CCS | Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. | Mikael Bougon, Herv Chabanne, Vronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani |
| 2022 | ESORICS | A Toolbox for Verifiable Tally-Hiding E-Voting Systems. | Vronique Cortier, Pierrick Gaudry, Quentin Yang |
| 2022 | SP | ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. | Bruno Blanchet, Vincent Cheval, Vronique Cortier |
| 2020 | CSL | Verification of Security Protocols (Invited Talk). | Vronique Cortier |
| 2020 | ESORICS | Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. | Vronique Cortier, Stphanie Delaune, Jannik Dreier |
| 2018 | CCS | Voting: You Can't Have Privacy without Individual Verifiability. | Vronique Cortier, Joseph Lallemand |
| 2018 | ESORICS | Efficiently Deciding Equivalence for Standard Primitives and Phases. | Vronique Cortier, Antoine Dallon, Stphanie Delaune |
| 2017 | CCS | A Type System for Privacy Properties. | Vronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei |
| 2017 | SP | Machine-Checked Proofs of Privacy for Electronic Voting Protocols. | Vronique Cortier, Constantin Catalin Dragan, Franois Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi |
| 2016 | CCS | BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. | Pyrros Chaidos, Vronique Cortier, Georg Fuchsbauer, David Galindo |
| 2016 | ESORICS | When Are Three Voters Enough for Privacy Properties? | Myrto Arapinis, Vronique Cortier, Steve Kremer |
| 2016 | SP | SoK: Verifiability Notions for E-Voting Protocols. | Vronique Cortier, David Galindo, Ralf Ksters, Johannes Mller, Tomasz Truderung |
| 2015 | ESORICS | Checking Trace Equivalence: How to Get Rid of Nonces? | Rmy Chrtien, Vronique Cortier, Stphanie Delaune |
| 2015 | SP | SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. | David Bernhard, Vronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi |
| 2014 | CADE | Electronic Voting: How Logic Can Help. | Vronique Cortier |
| 2014 | CONCUR | Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. | Rmy Chrtien, Vronique Cortier, Stphanie Delaune |
| 2014 | ESORICS | Election Verifiability for Helios under Weaker Trust Assumptions. | Vronique Cortier, David Galindo, Stphane Glondu, Malika Izabachne |
| 2013 | CADE | Tractable Inference Systems: An Extension with a Deducibility Predicate. | Hubert Comon-Lundh, Vronique Cortier, Guillaume Scerri |
| 2013 | CAV | Lengths May Break Privacy - Or How to Check for Equivalences with Length. | Vincent Cheval, Vronique Cortier, Antoine Plet |
| 2013 | CCS | Deduction soundness: prove one, get five for free. | Florian Bhl, Vronique Cortier, Bogdan Warinschi |
| 2013 | ICALP | From Security Protocols to Pushdown Automata. | Rmy Chrtien, Vronique Cortier, Stphanie Delaune |
| 2012 | CCS | Measuring vote privacy, revisited. | David Bernhard, Vronique Cortier, Olivier Pereira, Bogdan Warinschi |
| 2012 | CCS | Revoke and let live: a secure key revocation api for cryptographic devices. | Vronique Cortier, Graham Steel, Cyrille Wiedling |
| 2011 | CADE | Deciding Security for Protocols with Recursive Tests. | Mathilde Arnaud, Vronique Cortier, Stphanie Delaune |
| 2011 | CCS | A composable computational soundness notion. | Vronique Cortier, Bogdan Warinschi |
| 2011 | ESORICS | Adapting Helios for Provable Ballot Privacy. | David Bernhard, Vronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi |
| 2011 | RE | Ballot stuffing in a postal voting system. | Vronique Cortier, Jrmie Detrey, Pierrick Gaudry, Frdric Sur, Emmanuel Thom, Mathieu Turuani, Paul Zimmermann |
| 2011 | STACS | How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. | Hubert Comon-Lundh, Vronique Cortier |
| 2010 | CADE | Verification of Security Protocols. | Vronique Cortier |
| 2009 | ESORICS | A Generic Security API for Symmetric Key Management on Cryptographic Devices. | Vronique Cortier, Graham Steel |
| 2009 | VMCAI | Verification of Security Protocols. | Vronique Cortier |
| 2008 | CCS | Computational soundness of observational equivalence. | Hubert Comon-Lundh, Vronique Cortier |
| 2007 | ESORICS | A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols. | Vronique Cortier, Ralf Ksters, Bogdan Warinschi |
| 2007 | ESORICS | Synthesizing Secure Protocols. | Vronique Cortier, Bogdan Warinschi, Eugen Zalinescu |
| 2007 | LPAR | Deciding Knowledge in Security Protocols for Monoidal Equational Theories. | Vronique Cortier, Stphanie Delaune |
| 2007 | TACAS | Automatic Analysis of the Security of XOR-Based Key Management Schemes. | Vronique Cortier, Gavin Keighren, Graham Steel |
| 2006 | CSL | Relating Two Standard Notions of Secrecy. | Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu |
| 2006 | LPAR | Deciding Key Cycles for Security Protocols. | Vronique Cortier, Eugen Zalinescu |
| 2005 | ESOP | Computationally Sound, Automated Proofs for Security Protocols. | Vronique Cortier, Bogdan Warinschi |
| 2005 | ICALP | Computationally Sound Implementations of Equational Theories Against Passive Adversaries. | Mathieu Baudet, Vronique Cortier, Steve Kremer |
| 2005 | PPDP | A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. | Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu |
| 2004 | ICALP | Deciding Knowledge in Security Protocols Under Equational Theories. | Martn Abadi, Vronique Cortier |
| 2003 | ESOP | Security Properties: Two Agents Are Sufficient. | Hubert Comon-Lundh, Vronique Cortier |
| 2001 | ICALP | Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols. | Hubert Comon, Vronique Cortier, John Mitchell |
| 2000 | CSL | Flatness Is Not a Weakness. | Hubert Comon, Vronique Cortier |
| 1999 | ICALP | Decidable Fragments of Simultaneous Rigid Reachability. | Vronique Cortier, Harald Ganzinger, Florent Jacquemard, Margus Veanes |