Stéphanie Delaune

CNRS researcher (DR1) at IRISA, head of SPICY team.
Leader of the cybersecurity axis at IRISA.

Office F403 -- 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, DRM systems
Development of the Squirrel prover

Ongoing projects:

Projet BPI RESQUE, member (2023-2026)
Résilience Quantique
PEPR Cybersécurité SVP Project, PI (2022-2028)
Verification of Security Protocols
ANR JCJC Drama, member (2023-2026)
Attacks and Security Analysis of Digital Rights Management Systems

Open positions: Looking for outstanding students and young researchers. Do not hesitate to contact me !
Below, some M2 internship proposals:

News:

Chair of the jury for the GdR Sécurité Informatique thesis prize, 2024.
Article The Squirrel Prover and its Logic, SigLog Newsletter, ACM Special Interest Group on Logic and Computation, 2024.
Award for "distinguished paper" at Esorics 2023:
Tamarin-based Analysis of Bluetooth Uncovers Two Practical Pairing Confusion Attacks
with T. Claverie, G. Avoine, and J. Lopes-Esteves.
Article Une équipe de scientifiques passe à la loupe les protocoles cryptographiques, (in French), November 2022.