Stéphanie Delaune

CNRS researcher (DR2) 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
Developement of the Squirrel prover
Cryptanalysis using solvers

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
ANR DeCrypt, member (2019-2023)
Declarative approach for Symmetric Cryptography

News:

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 Stéphanie Delaune passe à la loupe les protocoles cryptographiques, (in French), November 2022.
Invited talk at CSF (part of FLOC), Haifa, Israel, August 2022. (Slides)
Award for "distinguished paper" at CSF 2022 (part of FLOC):
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the SQUIRREL Proof Assistant
with D. Baelde, A. Koutsos and S. Moreau.