Stéphanie Delaune is CNRS Research Director at the 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), working on the verification of cryptographic protocols for contactless systems. The core of her project is verification, i.e. the formal proof of the correct operation of a security protocol.
In partnership with Google, the Foundation supports Stéphanie Delaune’s work.