vote électronique sécurisé : vote par correspondance et propriétés probabilistes
secure electronic voting: postal voting and probabilistic properties
Jury
Directeur de these_CORTIER_Véronique_CNRS
CoDirecteur de these_GAUDRY_Pierrick_CNRS
Examinateur_FONTAINE_Caroline_Laboratoire Méthodes Formelles (LMF), Université Paris-Saclay, CNRS, ENS Paris-Saclay
Examinateur_RUHAULT_Sylvain_ANSSI
Examinateur_TOURRET_Sophie_Centre Inria de l'Université de Lorraine
Rapporteur_BAELDE_David_ENS Rennes
Rapporteur_LAFOURCADE_Pascal_Université Clermont Auvergne
é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
Vote électronique,Méthodes formelles,Cryptographie,Protocoles de sécurité,
Résumé de la thèse
Cette thèse présente deux contributions. Tout d'abbord, nous présentons un protocole de vote par correspondance vérifiable ainsi que sa preuve de sécurité. Ensuite, nous présentons une méthode d'analyse pour les protocoles probabilistes.
Bien que très utilisé en pratique, le vote par correspondance est le parent pauvre de la recherche en sécurité du vote, au détriment notamment du vote électronique. Les principales proipriétés de sécurité - le secret du vote et l'intégrité du scrutin - ne sont pas garantis par les protocoles de la littérature.
Keywords
Electronic voting,Formal methods,Cryptography,Security protocols,
Abstract
This thesis presents two contributions. Firstly, we present a verifiable postal voting protocol and its security proof. Secondly, we present a novel analysis method for probabilistic protocols.
Although widely used in practice, postal voting is left behind in the research into voting security, particularly when compared with electronic voting. The key security properties – vote secrecy and the ballot integrity – are not guaranteed by the protocols of the literature. Indeed, we illustrate vulnerabilities through a series of generic attacks applicable to various systems.
