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|
Inria Nancy - Grand Est, Rennes
615, rue du Jardin Botanique
E-mail: alexandre.debant [at] inria [dot] fr
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)}.
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]
Poster session at the annual day of the IRISA D1 department - [pdf]
Poster session at 32nd IEEE Computer Security Foundations Symposium (CSF'19) - [pdf]