Alexandre Debant

I am a PhD student on the ERC project POPSTAR under the supervision of Stéphanie Delaune. I'm a member of the EMSEC team at IRISA Lab in Rennes.
Before I was student at École normale supérieure de Rennes.

Research Interests: verification of cryptographic protocols, symbolic methods, distance bounding protocols.

Contact | Teaching | Other

Contact details

Office F409
IRISA, Rennes
Campus universitaire de Beaulieu
263 Avenue du Général Leclerc - CS 74205
35042 Rennes Cedex - France

Phone: +33 (0)2 99 84 74 71
E-mail: alexandre.debant [at]