A formal taxonomy of privacy in 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 : Privacy is one of the main issues in electronic voting. We propose a modular family of symbolic privacy notions that allows to assess the level of privacy ensured by a voting protocol. Our definitions are applicable to protocols featuring multiple votes per voter and special attack scenarios such as vote-copying or forced abstention. Finally we employ our definitions on several existing voting protocols to show that our model allows to compare different types of protocols based on different techniques, and is suitable for automated verification using existing tools.
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 [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01338067
Contributeur : Jannik Dreier <>
Soumis le : mercredi 29 juin 2016 - 10:57:23
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : vendredi 30 septembre 2016 - 10:11:45

Fichier

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

Identifiants

  • HAL Id : hal-01338067, version 1

Citation

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A formal taxonomy of privacy in voting protocols. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011. 〈hal-01338067〉

Partager

Métriques

Consultations de la notice

934

Téléchargements de fichiers

96