« Formal Methods for Internet Voting ».

La soutenance se déroulera le mardi 3 mars 2026 à 9h30 en A008. La présentation sera en anglais.
Elle sera suivie d’un pot en salle club aux alentours de midi.

Une visioconférence sera également disponible via le lien suivant :
https://famosergmbh-807.my.webex.com/famosergmbh-807.my/j.php?MTID=m73a3f97ce318919f8c0df02f6dbbb816

Le jury sera composé de :

– Ioana Boureanu, University of Surrey (rapporteuse)
– Olivier Pereira, University of Louvain (rapporteur)
– Thomas Haines, University of Maryland (examinateur)
– Emmanuel Thomé, CNRS (examinateur)
– Elizabeth Quaglia, University of London (examinatrice)
– Veronique Cortier, CNRS (directrice de thèse)
– Alexandre Debant, INRIA (directeur de thèse)
– Melanie Volkamer, Karlsruhe Institute of Technology (invitée)

Résumé :

Le vote par internet fait référence aux élections effectuées via
internet, où les électeurs utilisent leurs propres appareils personnels
pour exprimer leur vote. Un tel système, bien que fondamentalement
différent des élections sur papier, doit fournir les mêmes garanties de
sécurité que les systèmes électoraux traditionnels. Cela inclut la
vérifiabilité de l’intégrité du résultat de l’élection, tout en
préservant le secret de vote. Dans la première partie de la thèse, nous
explorons les mécanismes de sécurité employés par l’industrie. Dans la
deuxième partie de la thèse, nous proposons un nouveau mécanisme
permettant aux électeurs de voter en toute confidentialité, même si leur
propre appareil est compromis. Dans la troisième partie de la thèse,
nous présentons un framework permettant d’obtenir des preuves formelles
de sécurité pour des protocoles de vote sur internet. Nous avons
appliqué avec succès le framework de preuve à plusieurs protocoles de la
littérature et de l’industrie, y compris Belenios, Swiss Post, et notre
propre proposition de vote par codes courts de la deuxième partie de la
thèse.