Stéphanie Delaune est directeur de recherche CNRS au sein de l’Institut de recherche en informatique et systèmes aléatoires (IRISA – CNRS/ENS Rennes/Inria/INSA Rennes/Institut Mines-Télécom/Université de Bretagne-Sud/Université de Rennes 1. Elle travaille sur la vérification des protocoles cryptographiques pour les systèmes sans contact. Le cœur de son projet est la vérification, c’est-à-dire la preuve formelle du fonctionnement adéquat, du protocole de sécurité.
En partenariat avec Google, la Fondation soutient les travaux de Stéphanie Delaune.