A Formal Taxonomy of Privacy in Voting Protocols - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

A Formal Taxonomy of Privacy in Voting Protocols

Abstract

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
Origin Files produced by the author(s)
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
451 View
253 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More