Alexandre Debant

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Coloured Petri Nets

Authentication Mechanism

Security Protocols

Voting Protocols

Top Venues

USENIX Security Symposium

IACR Cryptol. ePrint Arch.

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)
David Baelde, Alexandre Debant, Stéphanie Delaune
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. CSF (2023)
Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu
Belenios with Cast as Intended. FC Workshops (2023)
Alexandre Debant, Lucca Hirschi
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. USENIX Security Symposium (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)
Alexandre Debant, Lucca Hirschi
Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol. IACR Cryptol. ePrint Arch. 2022 (2022)
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
So Near and Yet So Far - Symbolic Verification of Distance-Bounding Protocols. ACM Trans. Priv. Secur. 25 (2) (2022)
Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
Security Analysis and Implementation of Relay-Resistant Contactless Payments. CCS (2020)
Alexandre Debant, Stéphanie Delaune
Symbolic Verification of Distance Bounding Protocols. POST (2019)
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
Symbolic Analysis of Terrorist Fraud Resistance. ESORICS (1) (2019)
Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling
A Symbolic Framework to Analyse Physical Proximity in Security Protocols. FSTTCS (2018)