A Symbolic Framework to Analyse Physical Proximity in Security Protocols. - Alexandre Debant; Stéphanie Delaune; Cyrille Wiedling (FSTTCS, 2018)

Symbolic Analysis of Terrorist Fraud Resistance. - Alexandre Debant; Stéphanie Delaune; Cyrille Wiedling (ESORICS (1), 2019)

Symbolic Verification of Distance Bounding Protocols. - Alexandre Debant; Stéphanie Delaune (POST, 2019)

Security Analysis and Implementation of Relay-Resistant Contactless Payments. - Ioana Boureanu; Tom Chothia; Alexandre Debant; Stéphanie Delaune (CCS, 2020)

Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. - Mikael Bougon; Hervé Chabanne; Véronique Cortier; Alexandre Debant; Emmanuelle Dottax; Jannik Dreier; Pierrick Gaudry; Mathieu Turuani (CCS, 2022)

Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. - Alexandre Debant; Lucca Hirschi (IACR Cryptol. ePrint Arch., 2022)

So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols. - Alexandre Debant; Stéphanie Delaune; Cyrille Wiedling (ACM Trans. Priv. Secur., 2022)

Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. - David Baelde; Alexandre Debant; Stéphanie Delaune (CSF, 2023)

Election Verifiability with ProVerif. - Vincent Cheval; Véronique Cortier; Alexandre Debant (CSF, 2023)

Belenios with Cast as Intended. - Véronique Cortier; Alexandre Debant; Pierrick Gaudry; Stéphane Glondu (FC Workshops, 2023)

Code Voting: When Simplicity Meets Security. - Véronique Cortier; Alexandre Debant; Florian Moser (ESORICS (2), 2024)

Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility. - Véronique Cortier; Alexandre Debant; Anselme Goetschmann; Lucca Hirschi (IACR Cryptol. ePrint Arch., 2024)

Breaking verifiability and vote privacy in CHVote. - Véronique Cortier; Alexandre Debant; Pierrick Gaudry (IACR Cryptol. ePrint Arch., 2025)

Vote&Check: Secure Postal Voting with Reduced Trust Assumptions. - Véronique Cortier; Alexandre Debant; Pierrick Gaudry; Léo Louistisserand (Proc. Priv. Enhancing Technol., 2025)