Stéphanie Delaune

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

Research Interests:

Verification of security protocols
Privacy issues: anonymity, vote-privacy, unlinkability
Electronic voting protocols, RFID protocols, contactless systems
Automatic deduction, rewriting, concurrency theory

Ongoing projects:

ANR DeCrypt, member (2019-2023)
Declarative approach for Symmetric Cryptography
ERC Starting Grant POPSTAR, PI (2017-2022)
Reasoning about Physical properties Of security Protocols with an Application To contactless Systems
Open positions: Looking for outstanding students and young researchers.
ANR TECAP, local PI (2018-2022)
Protocol Analysis - Combining Existing Tools
ANR Sequoia, member (2014-2019)
Security properties, process equivalences and automated verification

News:

Article in the SIGLOG Newsletter (volume 5, number 3), July 2018.
Workshop on distance-bounding: past, present, and future, 14-15 April 2018.
Interview télévisé pour TVR (émission du 13/11/2017) (in French), November 2017.
Article dans Sciences Ouest, Dans le réseau de l'Europe (in French), May 2017.
Article dans le journal du CNRS, Protection des données: le chiffrement ne suffit pas (in French), December 2016.
Podcast Interstices Comment sécuriser notre environement communicant ? (in French), September 2016.
France Inter radio interview broadcast on July 10, 2016 -- Chercheurs d'avenir -- with Gérard Berry and Jérôme Nika.
EASST Best paper at ETAPS 2016: Bounding the number of agents, for equivalence too with V. Cortier and A. Dallon.

Last update: February 17th, 2018.