Voting: You Can't Have Privacy without Individual Verifiability - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2018

Voting: You Can't Have Privacy without Individual Verifiability

Résumé

Electronic voting typically aims at two main security goals: vote privacy and verifiability. These two goals are often seen as antagonistic and some national agencies even impose a hierarchy between them: first privacy, and then verifiability as an additional feature. Verifiability typically includes individual verifiability (a voter can check that her ballot is counted); universal verifiability (anyone can check that the result corresponds to the published ballots); and eligibility verifiability (only legitimate voters may vote). We show that actually, privacy implies individual verifiability. In other words, systems without individual verifiability cannot achieve privacy (under the same trust assumptions). To demonstrate the generality of our result, we show this implication in two different settings, namely cryptographic and symbolic models, for standard notions of privacy and individual verifiability. Our findings also highlight limitations in existing privacy definitions in cryptographic settings.
Fichier principal
Vignette du fichier
main-report.pdf (994.72 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01858034 , version 1 (18-08-2018)

Identifiants

  • HAL Id : hal-01858034 , version 1

Citer

Véronique Cortier, Joseph Lallemand. Voting: You Can't Have Privacy without Individual Verifiability. [Research Report] CNRS, Inria, LORIA. 2018. ⟨hal-01858034⟩
238 Consultations
1534 Téléchargements

Partager

Gmail Facebook X LinkedIn More