Stephanie Delaune

Chargée de recherche CNRS

Depuis Septembre 2016, je suis membre de l'équipe EMSEC à l'IRISA (Rennes)
Ma nouvelle page est ici.

Obtention d'une ERC Starting Grant: POPSTAR -- Reasoning about Physical properties Of security Protocols with an Application To contactless Systems.
Je suis à la recherche de doctorants, post-doctorants, ingénieurs pour travailler à l'IRISA (Rennes) dans le cadre du projet POPSTAR.
Intervention dans l'émission Chercheurs d'avenir diffusée le dimanche 10 juillet à 13h20 sur France Inter (avec Gérard Berry et Jérôme Nika).
EASST Best paper à ETAPS 2016: Bounding the number of agents, for equivalence too avec V. Cortier et A. Dallon.
Avril 2016: Mon exposé au Collège de France, Paris La vérification formelle appliquée aux protocoles cryptographiques

POST 2017, 6th Conference on Principles of Security and Trust, Uppsala, Sweden, 23-29 April 2017;
IJCAR 2016, 8th International Joint Conference on Automated Reasoning, Portugal, June 27-30, 2016.