Quantitative Anonymity Evaluation of Voting Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Quantitative Anonymity Evaluation of Voting Protocols

Résumé

In an election, it is imperative that the vote of the single voters remain anonymous and undisclosed. Alas, modern anonymity approaches acknowledge that there is an unavoidable leak of anonymity just by publishing data related to the secret, like the election's result. Information theory is applied to quantify this leak and ascertain that it remains below an acceptable threshold. We apply modern quantitative anonymity analysis techniques via the state-of-the-art QUAIL tool to the voting scenario. We consider different voting typologies and establish which are more effective in protecting the voter's privacy. We further demonstrate the effectiveness of the protocols in protecting the privacy of the single voters, deriving an important desirable property of protocols depending on composite secrets.
Fichier principal
Vignette du fichier
main.pdf (332.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01088188 , version 1 (27-11-2014)

Identifiants

  • HAL Id : hal-01088188 , version 1

Citer

Fabrizio Biondi, Axel Legay. Quantitative Anonymity Evaluation of Voting Protocols. 12th International Conference on Software Engineering and Formal Methods, Sep 2014, Grenoble, France. ⟨hal-01088188⟩
379 Consultations
186 Téléchargements

Partager

Gmail Facebook X LinkedIn More