Publications

Thesis

• Symbolic verification of distance-bounding protocols – Application to payment protocols.
  Alexandre Debant
  Defended on November 17th, 2020 at IRISA, Rennes, France
  Download: [manuscript]   [slides]

 

Journal papers

• So near and yet so far – Symbolic verification of distance-bounding protocols.
  Alexandre Debant, Stéphanie Delaune, and Cyrille Wiedling
  In the proceedings of: ACM Transactions on Privacy and Security (TOPS) (TISSEC pre 2018)
  Download: [pdf]

 

Conference papers

• Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol.
  Alexandre Debant, and Lucca Hirschi
  In the proceedings of: 32nd USENIX Security Symposium, 2023
  Download: [usenix]   [eprint]   [hal]
• Election Verifiability with ProVerif.
  Vincent Cheval, Véronique Cortier, and Alexandre Debant
  In the proceedings of: 36th IEEE Computer Security Foundations Symposium (CSF), 2023
  Download: [pdf]
• Proving Unlinkability using ProVerif through Desynchronised Bi-Processes
  David Baelde, Alexandre Debant, and Stéphanie Delaune
  In the proceedings of: 36th IEEE Computer Security Foundations Symposium (CSF), 2023
  Download: [pdf]
• Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol.
  Alexandre Debant, and Lucca Hirschi
  Accepted talk at: IACR Real World Crypto (RWC) 2023
  Download: [eprint]   [hal]
• Themis: an on-site voting system with systematic cast-as-intended verification and partial accountability.
  Mickaël Bougon, Hervé Chabanne, Véronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, and Mathieu Turuani
  In the proceedings of: ACM Conference on Computer and Communications Security (CCS) 2022
  Download: [pdf]
• A privacy attack against the Swiss Post e-voting system.
  Véronique Cortier, Alexandre Debant, and Pierrick Gaudry
  Accepted talk at: IACR Real World Crypto (RWC) 2022
  Download: [pdf]
• Security Analysis and Implementation of Relay-Resistant Contacless Payments.
  Ioana Boureanu, Tom Chothia, Alexandre Debant, and Stéphanie Delaune
  In the proceedings of: ACM Conference on Computer and Communications Security (CCS) 2020
  Details
  Download: [pdf]   [poster]
• Symbolic Analysis of Terrorist Fraud Resistance.
  Alexandre Debant, Stéphanie Delaune, and Cyrille Wiedling
  In the proceedings of: European Symposium on Research in Computer Security (ESORICS) 2019
  Details
  Download: [pdf]
• Symbolic Verification of Distance-Bounding Protocols.
  Alexandre Debant, and Stéphanie Delaune
  In the proceedings of: Principles of Security and Trust (POST) 2019
  Details
  Download: [pdf]
• A Symbolic Framework to Analyse Physical Proximity in Security Protocols.
  Alexandre Debant, Stéphanie Delaune, and Cyrille Wiedling
  In the proceedings of: Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2018
  Details
  Download: [pdf]

 

Workshop papers

• BeleniosCaI: Belenios with cast as intended.
  Véronique Cortier, Alexandre Debant, Pierrick Gaudry, and Stéphane Glondu
  8th Workshop on Advances in Secure Electronic Voting (VOTING), 2023
  Download: [hal]