A Formal Taxonomy of Privacy in Voting Protocols

Jannik Dreier; Pascal Lafourcade; Yassine Lakhnech

doi:10.1109/ICC.2012.6364938

A Formal Taxonomy of Privacy in Voting Protocols

Jannik Dreier ¹ Pascal Lafourcade ² Yassine Lakhnech ³

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

2 LIMOS - Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes

3 VERIMAG - IMAG - VERIMAG

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.

Type de document :

Communication dans un congrès

First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. 〈10.1109/ICC.2012.6364938〉

Domaine :

Informatique [cs] / Cryptographie et sécurité [cs.CR]

Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01338064
Contributeur : Jannik Dreier <>
Soumis le : lundi 27 juin 2016 - 17:29:20
Dernière modification le : mardi 18 décembre 2018 - 16:38:25

A Formal Taxonomy of Privacy in Voting Protocols

Fichiers

Identifiants

Collections

Citation

Exporter

Métriques

887

136

Contact

A Formal Taxonomy of Privacy in Voting Protocols

Fichiers

Identifiants

Collections

Citation

Exporter

Partager

Métriques

887

136

Contact