Stéphanie DelauneCNRS senior researcher, member of IRISA

Les thématiques de recherche de Stéphanie Delaune recoupent l'analyse formelle et les protocoles de sécurité. Elle utilise des techniques issues du raisonnement automatique, de la vérification de modèles et de la théorie de la concurrence pour analyser les protocoles cryptographiques. Elle s'est intéressé plus spécifiquement à la définition des protocoles de sécurité des systèmes de vote électronique et des système sans contact, tels que ceux déployés pour les téléphones mobiles ou les passeports électroniques.