A formal taxonomy of privacy in voting protocols - Archive ouverte HAL Access content directly
Reports (Technical Report) Year : 2011

A formal taxonomy of privacy in voting protocols


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.
Fichier principal
Vignette du fichier
TR-2011-10.pdf (523.5 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01338067 , version 1 (29-06-2016)


  • HAL Id : hal-01338067 , version 1


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⟩
704 View
162 Download


Gmail Facebook X LinkedIn More