Véronique Cortier

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 53

Top Venues

IACR Cryptol. ePrint Arch.

CSF

ESORICS (2)

IEEE Symposium on Security and Privacy

Publications

Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. IACR Cryptol. ePrint Arch. 2024 (2024)
Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. USENIX Security Symposium (2024)
Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu
Belenios with Cast as Intended. FC Workshops (2023)
Vincent Cheval, Véronique Cortier, Alexandre Debant
Election Verifiability with ProVerif. CSF (2023)
Mikael Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani
Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. CCS (2022)
Véronique Cortier, Pierrick Gaudry, Quentin Yang
A Toolbox for Verifiable Tally-Hiding E-Voting Systems. ESORICS (2) (2022)
Véronique Cortier, Stéphanie Delaune, Jannik Dreier, Elise Klein
Automatic generation of sources lemmas in Tamarin: Towards automatic proofs of security protocols. J. Comput. Secur. 30 (4) (2022)
Véronique Cortier, Pierrick Gaudry, Quentin Yang
Is the JCJ voting system really coercion-resistant? IACR Cryptol. ePrint Arch. 2022 (2022)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
A small bound on the number of sessions for security protocols. CSF (2022)
Bruno Blanchet, Vincent Cheval, Véronique Cortier
ProVerif with Lemmas, Induction, Fast Subsumption, and Much More. IEEE Symposium on Security and Privacy (2022)
Véronique Cortier, Itsaka Rakotonirina
How to Explain Security Protocols to Your Children. Protocols, Strands, and Logic (2021)
Véronique Cortier, Stéphanie Delaune, Vaishnavi Sundararajan
A Decidable Class of Security Protocols for Both Reachability and Equivalence Properties. J. Autom. Reason. 65 (4) (2021)
Véronique Cortier, Pierrick Gaudry, Quentin Yang
A toolbox for verifiable tally-hiding e-voting systems. IACR Cryptol. ePrint Arch. 2021 (2021)
Véronique Cortier
Verification of Security Protocols (Invited Talk). CSL (2020)
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. IACR Cryptol. ePrint Arch. 2020 (2020)
Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Typing Messages for Free in Security Protocols. ACM Trans. Comput. Log. 21 (1) (2020)
Véronique Cortier, Stéphanie Delaune, Jannik Dreier
Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols. ESORICS (2) (2020)
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. CSF (2020)
Véronique Cortier, Pierrick Gaudry, Stéphane Glondu
Belenios: A Simple Private and Verifiable Electronic Voting System. Foundations of Security, Protocols, and Equational Reasoning (2019)
Véronique Cortier, Alicia Filipiak, Joseph Lallemand
BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device. CSF (2019)
Véronique Cortier, David Galindo, Mathieu Turuani
A Formal Analysis of the Neuchatel e-Voting Protocol. EuroS&P (2018)
David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi
Verifiability Analysis of CHVote. IACR Cryptol. ePrint Arch. 2018 (2018)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Equivalence Properties by Typing in Cryptographic Branching Protocols. POST (2018)
Véronique Cortier, Joseph Lallemand
Voting: You Can't Have Privacy without Individual Verifiability. CCS (2018)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. CSF (2018)
Vincent Cheval, Véronique Cortier, Mathieu Turuani
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif. CSF (2018)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Efficiently Deciding Equivalence for Standard Primitives and Phases. ESORICS (1) (2018)
Véronique Cortier
Electronic Voting: How Logic Can Help. CIAA (2017)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
Machine-Checked Proofs of Privacy for Electronic Voting Protocols. IEEE Symposium on Security and Privacy (2017)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
A Type System for Privacy Properties. CCS (2017)
Véronique Cortier, Cyrille Wiedling
A formal analysis of the Norwegian E-voting protocol. J. Comput. Secur. 25 (1) (2017)
Véronique Cortier, Alicia Filipiak, Jan Florent, Said Gharout, Jacques Traoré
Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices. EuroS&P (2017)
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
A Type System for Privacy Properties (Technical Report). CoRR (2017)
Vincent Cheval, Véronique Cortier, Bogdan Warinschi
Secure Composition of PKIs with Public Key Protocols. CSF (2017)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
SAT-Equiv: An Efficient Tool for Equivalence Properties. CSF (2017)
Myrto Arapinis, Véronique Cortier, Steve Kremer
When Are Three Voters Enough for Privacy Properties? IACR Cryptol. ePrint Arch. 2016 (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
SoK: Verifiability Notions for E-Voting Protocols. IEEE Symposium on Security and Privacy (2016)
Véronique Cortier, David Galindo, Ralf Küsters, Johannes Müller, Tomasz Truderung
Verifiability Notions for E-Voting Protocols. IACR Cryptol. ePrint Arch. 2016 (2016)
Myrto Arapinis, Véronique Cortier, Steve Kremer
When Are Three Voters Enough for Privacy Properties? ESORICS (2) (2016)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for provable ballot privacy. IACR Cryptol. ePrint Arch. 2016 (2016)
Pyrros Chaidos, Véronique Cortier, Georg Fuchsbauer, David Galindo
BeleniosRF: A Non-interactive Receipt-Free Electronic Voting Scheme. CCS (2016)
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Bounding the Number of Agents, for Equivalence Too. POST (2016)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Decidability of Trace Equivalence for Protocols with Nonces. CSF (2015)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
A comprehensive analysis of game-based ballot privacy definitions. IACR Cryptol. ePrint Arch. 2015 (2015)
Vincent Cheval, Véronique Cortier
Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques. POST (2015)
Vincent Cheval, Véronique Cortier, Eric le Morvan
Secure Refinements of Communication Channels. FSTTCS (2015)
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
Type-Based Verification of Electronic Voting Protocols. IACR Cryptol. ePrint Arch. 2015 (2015)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. IEEE Symposium on Security and Privacy (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Checking Trace Equivalence: How to Get Rid of Nonces? ESORICS (2) (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
From Security Protocols to Pushdown Automata. ACM Trans. Comput. Log. 17 (1) (2015)
Véronique Cortier
Formal verification of e-voting: solutions and challenges. ACM SIGLOG News 2 (1) (2015)
Véronique Cortier, Georg Fuchsbauer, David Galindo
BeleniosRF: A Strongly Receipt-Free Electronic Voting Scheme. IACR Cryptol. ePrint Arch. 2015 (2015)
Véronique Cortier, Fabienne Eigner, Steve Kremer, Matteo Maffei, Cyrille Wiedling
Type-Based Verification of Electronic Voting Protocols. POST (2015)
Véronique Cortier, Graham Steel
A generic security API for symmetric key management on cryptographic devices. Inf. Comput. 238 (2014)
Véronique Cortier
Electronic Voting: How Logic Can Help. IJCAR (2014)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. CONCUR (2014)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
Election Verifiability for Helios under Weaker Trust Assumptions. ESORICS (2) (2014)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Modeling and verifying ad hoc routing protocols. Inf. Comput. 238 (2014)
Véronique Cortier, Steve Kremer
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial. Found. Trends Program. Lang. 1 (3) (2014)
Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling
Analysis of an Electronic Boardroom Voting System. VoteID (2013)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
A generic construction for voting correctness at minimum cost - Application to Helios. IACR Cryptol. ePrint Arch. 2013 (2013)
Véronique Cortier, David Galindo, Stéphane Glondu, Malika Izabachène
Distributed ElGamal à la Pedersen: Application to Helios. WPES (2013)
Florian Böhl, Véronique Cortier, Bogdan Warinschi
Deduction soundness: prove one, get five for free. CCS (2013)
Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
Tractable Inference Systems: An Extension with a Deducibility Predicate. CADE (2013)
Florian Böhl, Véronique Cortier, Bogdan Warinschi
Deduction Soundness: Prove One, Get Five for Free. IACR Cryptol. ePrint Arch. 2013 (2013)
Véronique Cortier, Ben Smyth
Attacking and fixing Helios: An analysis of ballot secrecy. J. Comput. Secur. 21 (1) (2013)
Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan
Practical Everlasting Privacy. POST (2013)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A Generic Tool for Computing Intruder Knowledge. ACM Trans. Comput. Log. 14 (1) (2013)
Vincent Cheval, Véronique Cortier, Stéphanie Delaune
Deciding equivalence-based properties using constraint solving. Theor. Comput. Sci. 492 (2013)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
From Security Protocols to Pushdown Automata. ICALP (2) (2013)
Vincent Cheval, Véronique Cortier, Antoine Plet
Lengths May Break Privacy - Or How to Check for Equivalences with Length. CAV (2013)
Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
Security proof with dishonest keys. IACR Cryptol. ePrint Arch. 2012 (2012)
Véronique Cortier, Jan Degrieck, Stéphanie Delaune
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient. POST (2012)
Véronique Cortier, Cyrille Wiedling
A Formal Analysis of the Norwegian E-voting Protocol. POST (2012)
David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi
Measuring vote privacy, revisited. CCS (2012)
Véronique Cortier, Stéphanie Delaune
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols. J. Autom. Reason. 48 (4) (2012)
Hubert Comon-Lundh, Véronique Cortier, Guillaume Scerri
Security Proof with Dishonest Keys. POST (2012)
Véronique Cortier, Graham Steel, Cyrille Wiedling
Revoke and let live: a secure key revocation api for cryptographic devices. CCS (2012)
Véronique Cortier, Steve Kremer, Bogdan Warinschi
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. J. Autom. Reason. 46 (3-4) (2011)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Deciding Security for Protocols with Recursive Tests. CADE (2011)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for Provable Ballot Privacy. ESORICS (2011)
Véronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann
Ballot stuffing in a postal voting system. REVOTE (2011)
Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier
Deciding knowledge in security protocols under some e-voting theories. RAIRO Theor. Informatics Appl. 45 (3) (2011)
Véronique Cortier, Ben Smyth
Attacking and Fixing Helios: An Analysis of Ballot Secrecy. CSF (2011)
Véronique Cortier, Bogdan Warinschi
A composable computational soundness notion. CCS (2011)
Hubert Comon-Lundh, Véronique Cortier
How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. STACS (2011)
Véronique Cortier
Secure Composition of Protocols. TOSCA (2011)
Véronique Cortier, Ben Smyth
Attacking and fixing Helios: An analysis of ballot secrecy. IACR Cryptol. ePrint Arch. 2010 (2010)
Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune
Modeling and Verifying Ad Hoc Routing Protocols. CSF (2010)
Stefan Ciobaca, Véronique Cortier
Protocol Composition for Arbitrary Primitives. CSF (2010)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A generic tool for computing intruder knowledge CoRR (2010)
Véronique Cortier
Verification of Security Protocols. VERIFY@IJCAR (2010)
Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
Deciding security properties for cryptographic protocols. application to key cycles. ACM Trans. Comput. Log. 11 (2) (2010)
Véronique Cortier
Verification of Security Protocols. VMCAI (2009)
Mathieu Baudet, Véronique Cortier, Stéphanie Delaune
YAPA: A Generic Tool for Computing Intruder Knowledge. RTA (2009)
Véronique Cortier, Stéphanie Delaune
Safely composing security protocols. Formal Methods Syst. Des. 34 (1) (2009)
Véronique Cortier, Graham Steel
A Generic Security API for Symmetric Key Management on Cryptographic Devices. ESORICS (2009)
Véronique Cortier, Stéphanie Delaune
A Method for Proving Observational Equivalence. CSF (2009)
Mathieu Baudet, Véronique Cortier, Steve Kremer
Computationally sound implementations of equational theories against passive adversaries. Inf. Comput. 207 (4) (2009)
Hubert Comon-Lundh, Véronique Cortier
Computational soundness of observational equivalence. CCS (2008)

Véronique Cortier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Véronique Cortier