Méthodes formelles pour le vote électronique
Formal Methods for Internet Voting
Jury
Directeur de these_CORTIER_Véronique_Laboratoire Lorrain de Recherche en Informatique et ses Applications
Rapporteur_BOUREAUNU_Ioana_University of Surrey
Rapporteur_PEREIRA_Olivier_ Université catholique de Louvain
CoDirecteur de these_ALEXANDRE_Debant_Laboratoire Lorrain de Recherche en Informatique et ses Applications
Examinateur_HAINES_Thomas_Australian National University
Examinateur_QUAGLIA_Elizabeth_Royal Holloway, University of London
Président_THOMé_Emmanuel_Laboratoire Lorrain de Recherche en Informatique et ses Applications
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Laboratoire
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Mention de diplôme
Informatique
A008
Loria
Campus Scientifique
BP 239
54506 Vandoeuvre-lès-Nancy
Mots clés
sécurité,vote électronique,vérifiabilité,confidentialité,preuve formelle,
Résumé de la thèse
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.
Keywords
security,internet voting,verifiability,privacy,formal proof,
Abstract
Internet voting refers to elections performed over the internet, where the voters use their own personal devices to cast their ballot. Such a system, while fundamentally different to paper-based elections, needs to provide the same security guarantees as traditional election systems. This includes the verifiability of the correctness of the election, while safeguarding the secrecy of the individual votes.
In the first part of the thesis, we explore which security mechanisms are employed by vendors.
