Véronique Cortier, CNRS, Loria

Jeudi 3 avril 2025 18 h
Amphi 15, Sorbonne Université - Faculté des Sciences

Vote électronique : conception, attaques et vérification formelle

Véronique Cortier est directrice de recherche CNRS au Loria (Nancy, France). En 2003, elle a obtenu son doctorat en informatique à l'École normale supérieure de Cachan, dont elle est ancienne élève. Ses recherches portent sur la vérification formelle de protocoles de sécurité, notamment les protocoles de vote, à l'aide de méthodes formelles ou de preuves calculatoires. Elle est co-chair de CCS 2025 et 2026 et membre du comité éditorial de TOPS. En 2022, elle a obtenu la médaille d'argent du CNRS, ainsi que le prix INRIA - Académie des Sciences en 2015. Elle est co-auteur d'un livre sur le vote électronique, chez Odile Jacob.

Le vote électronique vise à garantir des propriétés apparemment contradictoires : personne ne doit savoir comment j'ai voté et pourtant, je dois pouvoir vérifier que mon vote a bien été pris en compte. Dans cet exposé, nous passerons en revue le fonctionnement des protocoles de vote à travers l'exemple des élections législatives françaises de 2022. Nous verrons ensuite comment les analyser à l'aide de méthodes formelles et en particulier avec ProVerif, afin de détecter les attaques à un stade précoce, ou de prouver la sécurité, ce qui permet d'avoir une meilleure compréhension des garanties de sécurité et du modèle de menace.