Stéphanie Delaune

CNRS researcher (CR1) at IRISA in EMSEC team.
Before I was a member of the SECSI axis at LSV (ENS Cachan).

Office F419 -- 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

Publications | Committees | Projects | Talks | CV

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:

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 Sequoia, member (2014-2019)
Security properties, process equivalences and automated verification

News:

Article dans Sciences Ouest, Dans le réseau de l'Europe (in French), May 2017.
7th Summer School on Formal Techniques, Menlo College, Atherton, CA, 21-26 May 2017.
Spring School on Security & Correctness in the Internet of Things, Graz, Austria, 8-12 May 2017.
Article dans le journal du CNRS, Protection des données: le chiffrement ne suffit pas (in French), December 2016.
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.
EASST Best paper at ETAPS 2016: Bounding the number of agents, for equivalence too with V. Cortier and A. Dallon.

Last update: May 19th, 2017.