Quelle sécurité pour le vote électronique
le 6 octobre 2021
Campus de Beaulieu
Intervention de Joseph Lallemand, chercheur dans l'équipe EMSEC de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique.
Titre : Quelle sécurité pour le vote électronique
Résumé : Les systèmes de vote électronique ont pour but de permettre d'organiser des élections à distance,
Résumé : Les systèmes de vote électronique ont pour but de permettre d'organiser des élections à distance,
tout en fournissant les mêmes garanties que le vote "papier" traditionnel. L'objectif est d'apporter aux électeurs le même niveau de sécurité qu'ils auraient dans une élection en bureau de vote, alors qu'ils votent par Internet, un réseau auquel ils ne peuvent a priori pas faire confiance. Les protocoles de vote électronique utilisent pour cela des primitives cryptographiques assez complexes, dans le but de garantir notamment le secret du vote, ou la vérifiabilité du résultat de l'élection.
Dans cet exposé, nous présenterons quelles propriétés peuvent (et doivent) apporter les protocoles de vote électronique, et comment ils y parviennent. Nous verrons aussi comment la sécurité de ces protocoles peut être modélisée et prouvée formellement.
- Thématique(s)
- Recherche - Valorisation
Mise à jour le 18 novembre 2021