I am a post-doctoral researcher in the Pesto team at Inria Nancy - Grand Est. I obtained my PhD under the supervision of Stéphanie Delaune. on November 17th 2020 in the EMSEC team at IRISA Lab in Rennes. Before I was student at École normale supérieure de Rennes.
Research Interests: my research mainly focuses on the formal verification of crypTographic protocols. During my PhD I focused on distance-bounding protocols, used for instance for contact-less paiements. During my post-doc I am now interested in the design and verification of e-voting protocols. From an holistic point of view I am interested in proving the security or safety of critical systems.| Contact | Teaching | Publications | Talks | CV |
Office B272
Inria Nancy - Grand Est, Rennes
615, rue du Jardin Botanique
54600 Villers-lès-Nancy
E-mail: alexandre.debant [at] inria [dot] fr
Symbolic verification of distance-bounding protocols - Application to payment protocols
Alexandre Debant
Defended on November 17th, 2020 at IRISA, Rennes, France.
Downloads: [manuscript] - [slides]
So near and yet so far - Symbolic verification of distance-bounding protocols.
Alexandre Debant,
Stéphanie Delaune,
and Cyrille Wiedling.
(To appear) Accepted in proceedings of ACM Transactions on Privacy and Security (TOPS, TISSEC pre
2018)}.
Download: [pdf]
A privacy attack against the Swiss Post e-voting system.
Véronique Cortier,
Alexandre Debant, and
Pierrick Gaudry.
Short paper and accepted talk at 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 CCS 2020.
Details Download: [pdf] Poster: [pdf]
Symbolic Analysis of Terrorist Fraud Resistance.
Alexandre Debant,
Stéphanie Delaune,
and Cyrille Wiedling.
In the proceedings of ESORICS 2019.
Details Download: [pdf]
Symbolic Verification of Distance-Bounding Protocols.
Alexandre Debant
and Stéphanie Delaune.
In the proceedings of 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 FSTTCS 2018.
Details Download: [pdf]
Poster session at the annual day of the IRISA D1 department - [pdf]
Poster session at 32nd IEEE Computer Security Foundations Symposium (CSF'19) - [pdf]
Proving Physical Proximity Using Symbolic Models.
Alexandre Debant,
Stéphanie Delaune,
and Cyrille Wiedling.
Download: [pdf]