[Resource Topic] 2012/236: On Necessary and Sufficient Conditions for Private Ballot Submission

Welcome to the resource topic for 2012/236

Title:
On Necessary and Sufficient Conditions for Private Ballot Submission

Authors: D. Bernhard, O. Pereira, B. Warinschi

Abstract:

We exhibit the precise security guarantees that a public key encryption scheme needs to satisfy to guarantee ballot privacy when used in a large class of voting systems. We also identify new security notions for public key encryption that characterize the number of times that a public key can be used in different elections, and show that the most common ballot preparation approach that consists in encrypting the vote and adding a NIZK proof of its validity is sound, even without hardwiring the voter identity in the proof. Our results provide important steps towards proving the privacy of the ballot submission procedure in the widely deployed Helios voting system.

ePrint: https://eprint.iacr.org/2012/236

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .