Colloquium d’Informatique de Sorbonne Université – 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… Directrice de recherche CNRS au Loria de Nancy, Véronique Cortier sera l’invité du prochain Colloquium d’Informatique de Sorbonne Uiversité. Dans son exposé, elle passera en revue le fonctionnement des protocoles de vote électronique à travers l'exemple des élections législatives françaises de 2022, avant de les analyser à l’aide de méthodes formelles.
-
Le 26 nov. 2025
-
17:15 - 19:00
-
Colloque
-
Amphi 44
Campus Pierre et Marie Curie
4 place Jussieu
75005 Paris
-
Antoine Miné
Le 26 novembre à 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 Electronique. Les défis du secret et de la transparence (Editions Odile Jacob, 2022). En s’appuyant sur l’exemple des élections législatives françaises 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.
L’exposé, en amphi 44, sera précédé par un cocktail à partir de 17h15.