Defining Privacy for Weighted Votes, Single and Multi-voter Coercion - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2012

Defining Privacy for Weighted Votes, Single and Multi-voter Coercion

Résumé

Most existing formal privacy definitions for voting protocols are based on observational equivalence between two situations where two voters swap their votes. These definitions are unsuitable for cases where votes are weighted. In such a case swapping two votes can result in a different outcome and both situations become trivially distinguishable. We present a definition for privacy in voting protocols in the Applied Pi-Calculus that addresses this problem. Using our model, we are also able to define multi-voter coercion, i.e. situations where several voters are attacked at the same time. Then we prove that under certain realistic assumptions a protocol secure against coercion of a single voter is also secure against coercion of multiple voters. This applies for Receipt-Freeness as well as Coercion-Resistance.
Fichier principal
Vignette du fichier
TR-2012-2.pdf (512.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01338039 , version 1

Citer

Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech. Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. [Research Report] VERIMAG. 2012. ⟨hal-01338039⟩
501 Consultations
123 Téléchargements

Partager

Gmail Facebook X LinkedIn More