Stéphanie Delaune completed her PhD thesis at ENS Cachan in June 2006, and joined the CNRS in 2007. Stéphanie’s research focuses on the formal analysis and design of security protocols. She uses techniques issued from automated reasoning, rewriting, model-checking, and concurrency theory to model and analyse cryptographic protocols. In September 2016, Stéphanie joined the EMSEC team at IRISA (Rennes, France) and obtained an ERC Starting Grant: POPSTAR. The purpose of this project was to develop foundations and practical tools to analyse modern security protocols, and especially those used in contactless devices. She is now in charge of the Spicy (Security & PrIvaCY) team, and also of the cybersecurity axis at IRISA, and the PI of the SVP (Verification of Security Protocols) project from the PEPR Cybersecurity.
