A Formal Taxonomy of Privacy in Voting Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Formal Taxonomy of Privacy in Voting Protocols

Résumé

Privacy is one of the main issues in electronic voting. We propose a 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.
Fichier principal
Vignette du fichier
sfcs2012.pdf (220.25 Ko) Télécharger le fichier
sfcs-code.zip (3.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01338064 , version 1 (27-06-2016)

Identifiants

Citer

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. A Formal Taxonomy of Privacy in Voting Protocols. First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩. ⟨hal-01338064⟩
447 Consultations
239 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More