Stéphanie Delaune

CNRS researcher (DR2) at IRISA, head of SPICY 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 73 38
E-mail: stephanie.delaune [at] irisa.fr

Research Interests:

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

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
ANR TECAP, local PI (2018-2022)
Protocol Analysis - Combining Existing Tools

Open positions: Looking for outstanding students and young researchers (more here).

News:

Article dans le journal du CNRS, Entre transparence et confidentialité, les défis du vote électronique, (in French), with V. Cortier, April 2021
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.