Election Verifiability with ProVerif - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Election Verifiability with ProVerif

Vincent Cheval
Véronique Cortier
  • Fonction : Auteur
  • PersonId : 830860
Alexandre Debant
  • Fonction : Auteur
  • PersonId : 1028184

Résumé

Electronic voting systems should guarantee (at least) vote privacy and verifiability. Formally proving these two properties is challenging. Indeed, vote privacy is typically expressed as an equivalence property, hard to analyze for automatic tools, while verifiability requires to count the number of votes, to guarantee that all honest votes are properly tallied. We provide a full characterization of E2E-verifiability in terms of two simple properties, that are shown to be both sufficient and necessary. In contrast, previous approaches proposed sufficient conditions only. These two properties can easily be expressed in a formal tool like ProVerif but remain hard to prove automatically. Therefore, we provide a generic election framework, together with a library of lemmas, for the (automatic) proof of E2E-verifiability. We successfully apply our framework to several protocols of the literature that include two complex, industrial-scale voting protocols, namely Swiss Post and CHVote, designed for the Swiss context.
Fichier principal
Vignette du fichier
CSF23 (1).pdf (461.59 Ko) Télécharger le fichier
CaseStudiesWithFramework.zip (81.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04177268 , version 1 (04-08-2023)
hal-04177268 , version 2 (05-12-2023)

Licence

Paternité

Identifiants

Citer

Vincent Cheval, Véronique Cortier, Alexandre Debant. Election Verifiability with ProVerif. CSF 2023 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. ⟨10.1109/CSF57540.2023.00032⟩. ⟨hal-04177268v2⟩
97 Consultations
54 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More