Alexandre Debant

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.

Keywords: cryptographic protocols, formal verification, symbolic methods, distance-bounding protocols, e-voting protocols.

Contact | Teaching | Publications | Talks | CV

Contact details

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

Publications

Thesis

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

Conference papers

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]

Posters

Poster session at the annual day of the IRISA D1 department - [pdf]
Poster session at 32nd IEEE Computer Security Foundations Symposium (CSF'19) - [pdf]

Research Report

Proving Physical Proximity Using Symbolic Models.
Alexandre Debant, Stéphanie Delaune, and Cyrille Wiedling.
Download: [pdf]