Skip to Main content Skip to Navigation
Conference papers

Quantitative Anonymity Evaluation of Voting Protocols

Fabrizio Biondi 1 Axel Legay 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01088188
Contributor : Fabrizio Biondi <>
Submitted on : Thursday, November 27, 2014 - 3:18:31 PM
Last modification on : Tuesday, June 15, 2021 - 4:26:41 PM
Long-term archiving on: : Friday, April 14, 2017 - 10:10:34 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01088188, version 1

Citation

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⟩

Share

Metrics

Record views

619

Files downloads

249