Stéphanie Delaune

CNRS researcher (DR2) at IRISA in EMSEC team.
Leader of the cybersecurity axis at IRISA.

Office F337 -- 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:

Best paper award at ToSC 2020: Catching the Fastest Boomerangs - Application to SKINNY with P. Derbez and M. Vavrille. The paper will be presented at FSE 2022.
Best paper award at ESORICS 2020: Automatic generation of sources lemmas in Tamarin: towards automatic proofs of security protocols with V. Cortier and J. Dreier
Award for "distinguished paper" at CSF 2020: A Method for Proving Unlinkability of Stateful Protocols with D. Baelde and S. Moreau
Outstanding community service award from the IEEE technical committee on Security and Privacy, 2019.
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.
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.