- Computer Science Laboratory
  • Colloquium

Colloquium d’Informatique de Sorbonne Université

Véronique Cortier, CNRS, Loria

Thursday, April 3, 2025 18:00
Amphi 15, Sorbonne University - 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.

Véronique Cortier

About

Launched in 2012, the Colloquium d’Informatique de Sorbonne Université is a recurring event that invites major figures of the computer science field to give special lectures on the campus of Sorbonne University’s Science and Engineering Faculty. It targets a diverse yet technically-informed audience, and especially computer science researchers from all specialities, PhD students, and computer science students at master level.

The Colloquium’s main event is the invited speaker’s lecture, a 45-minute talk followed by questions and interactions with the audience. Generally, this lecture is associated with a masterclass reserved for PhD students from LIP6 and/or other labs.

As the main driving force behind to the steering committee, LIP6 oversees the Colloquium’s organisation, with occasional support from ISIR.

Steering committee


Contact: Fanny Pascual

Colloquium announcements

In order to be informed of future events via emails, you can subscribe to colloquium announcements.
If you do not want to be informed anymore, you can unsubscribe to colloquium announcements