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

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…

Le 3 avril à 18h, la prochaine session du colloquium d’Informatique de Sorbonne Université recevra Véronique Cortier, directrice de recherche CNRS au Loria, médaille d’argent du CNRS en 2022, et co-autrice de Le vote électronique. Les défis du secret et de la transparence (Éditions Odile Jacob, 2022). En s’appuyant sur l’exemple des élections législatives française de 2022, elle passera en revue le fonctionnement des protocoles de vote électronique, avant de les analyser à l'aide de méthodes formelles, et en particulier ProVerif. Visant à détecter les attaques à un stade précoce ou à prouver la sécurité des protocoles de vote, cette analyse permet d'avoir une meilleure compréhension des garanties de sécurité en place, ainsi que du modèle de menace potentielle.