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
Developement of the Squirrel prover
Cryptanalysis using solvers

Ongoing projects:

PEPR Cybersécurité SVP Project, PI (2022-2028)
Verification of Security Protocols
ANR JCJC Drama, member (2022-2026)
Attacks and Security Analysis of Digital Rights Management Systems
ANR DeCrypt, member (2019-2023)
Declarative approach for Symmetric Cryptography

News:

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