CNRS researcher (DR2) at IRISA in EMSEC team.
Before I was a member of the SECSI axis at LSV (ENS Cachan).
Office F419 --
Campus universitaire de Beaulieu
263 Avenue du Général Leclerc
35042 Rennes Cedex - France
Phone: +33 (0)2 99 84 75 27
E-mail: stephanie.delaune [at] irisa.fr
PGP public key: here
- Verification of
- Privacy issues: anonymity, vote-privacy, unlinkability
- Electronic voting protocols, RFID protocols, contactless systems
- Automatic deduction, rewriting, concurrency theory
- ERC Starting Grant
POPSTAR, PI (2017-2022)
Reasoning about Physical
properties Of security Protocols with an Application To contactless
Open positions: Looking for outstanding
students and young researchers.
- ANR TECAP,
local PI (2018-2022)
Protocol Analysis - Combining
- ANR Sequoia,
Security properties, process equivalences and automated verification