Alexandre Debant

According to our database, Alexandre Debant authored at least 12 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Code Voting: When Simplicity Meets Security.

Véronique Cortier, Alexandre Debant, Florian Moser

Proceedings of the Computer Security - ESORICS 2024, 2024

2023

Belenios with Cast as Intended.

Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu

Proceedings of the Financial Cryptography and Data Security. FC 2023 International Workshops, 2023

Election Verifiability with ProVerif.

Vincent Cheval, Véronique Cortier, Alexandre Debant

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes.

David Baelde, Alexandre Debant, Stéphanie Delaune

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

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

Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol.

Alexandre Debant, Lucca Hirschi

IACR Cryptol. ePrint Arch., 2022

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

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2020

Security Analysis and Implementation of Relay-Resistant Contactless Payments.

Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Symbolic Verification of Distance Bounding Protocols.

Alexandre Debant, Stéphanie Delaune

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

Symbolic Analysis of Terrorist Fraud Resistance.

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

A Symbolic Framework to Analyse Physical Proximity in Security Protocols.

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018