Vote-Independence: A Powerful Privacy Notion for Voting Protocols

Jannik Dreier 1 Pascal Lafourcade 2 Yassine Lakhnech 3
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : Recently an attack on ballot privacy in Helios has been discovered, which is essentially based on copying other voter’s votes. To capture this and similar attacks, we extend the classical threat model and introduce a new security notion for voting protocols: Vote-Independence. We give a formal definition and analyze its relationship to established privacy properties such as Vote-Privacy, Receipt-Freeness and Coercion-Resistance. In particular we show that even Coercion-Resistant protocols do not necessarily ensure Vote-Independence.
Type de document :
Rapport
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01338071
Contributeur : Jannik Dreier <>
Soumis le : mardi 28 juin 2016 - 16:40:59
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : jeudi 29 septembre 2016 - 10:40:36

Fichier

TR-2011-8.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01338071, version 1

Citation

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Vote-Independence: A Powerful Privacy Notion for Voting Protocols. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011. 〈hal-01338071〉

Partager

Métriques

Consultations de la notice

524

Téléchargements de fichiers

65