Alexandre Debant

21 papers A* 4A 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2026 — ed.
Electronic Voting - 10th International Joint Conference, E-Vote-ID 2025, Nancy, France, October 1-3, 2025, Proceedings
E-VOTE-ID
David Duenas-Cid, Peter B. Roenne, Melanie Volkamer, Michelle L. Blom, Pierrick Gaudry, Isabelle Borucki, Leontine Loeber, Alexandre Debant
2025 J jnl
A Practical and Fully Distributed E-Voting Protocol for the Swiss Context.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Alexandre Debant, Olivier Esseiva, Pierrick Gaudry, Audhild Høgåsen, Chiara Spadafora
2025 — conf
Breaking Verifiability and Vote Privacy in CHVote.
ESORICS (4)
Véronique Cortier, Alexandre Debant, Pierrick Gaudry
2025 J jnl
Breaking verifiability and vote privacy in CHVote.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Alexandre Debant, Pierrick Gaudry
2025 J jnl
Vote&Check: Secure Postal Voting with Reduced Trust Assumptions.
Proc. Priv. Enhancing Technol.
Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Léo Louistisserand
2024 — conf
Code Voting: When Simplicity Meets Security.
ESORICS (2)
Véronique Cortier, Alexandre Debant, Florian Moser
2024 — ed.
Eight International Joint Conference on Electronic Voting, E-Vote-ID 2024, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings
E-Vote-ID (GI)
Melanie Volkamer, David Duenas-Cid, Peter B. Roenne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodríguez-Pérez, Iuliia Spycher-Krivonosova, Michael Kirsten, Alexandre Debant, Nicole J. Goodman
2024 A* conf
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility.
USENIX Security Symposium
Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi
2024 J jnl
Election Eligibility with OpenID: Turning Authentication into Transferable Proof of Eligibility.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Alexandre Debant, Anselme Goetschmann, Lucca Hirschi
2024 J jnl
Vote&Check: Secure Postal Voting with Reduced Trust Assumptions.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Léo Louistisserand
2023 — conf
Belenios with Cast as Intended.
FC Workshops
Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu
2023 A conf
Election Verifiability with ProVerif.
CSF
Vincent Cheval, Véronique Cortier, Alexandre Debant
2023 A conf
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes.
CSF
David Baelde, Alexandre Debant, Stéphanie Delaune
2023 A* conf
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol.
USENIX Security Symposium
Alexandre Debant, Lucca Hirschi
2022 J jnl
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol.
IACR Cryptol. ePrint Arch.
Alexandre Debant, Lucca Hirschi
2022 J jnl
So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols.
ACM Trans. Priv. Secur.
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
2022 A* conf
Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability.
CCS
Mikael Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani
2020 A* conf
Security Analysis and Implementation of Relay-Resistant Contactless Payments.
CCS
Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
2019 — conf
Symbolic Analysis of Terrorist Fraud Resistance.
ESORICS (1)
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
2019 — conf
Symbolic Verification of Distance Bounding Protocols.
POST
Alexandre Debant, Stéphanie Delaune
2018 — conf
A Symbolic Framework to Analyse Physical Proximity in Security Protocols.
FSTTCS
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling