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
Contributor : Fabrizio Biondi Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 3:18:31 PM
Last modification on : Thursday, January 20, 2022 - 5:33:09 PM
Long-term archiving on: : Friday, April 14, 2017 - 10:10:34 PM


Files produced by the author(s)


  • HAL Id : hal-01088188, version 1


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⟩



Record views


Files downloads