[Resource Topic] 2013/235: Ballot secrecy and ballot independence: definitions and relations

Welcome to the resource topic for 2013/235

Title:
Ballot secrecy and ballot independence: definitions and relations

Authors: Ben Smyth, David Bernhard

Abstract:

We study ballot independence for election schemes. First, we formally define ballot independence as a cryptographic game and prove that ballot secrecy implies ballot independence. Secondly, we introduce a notion of controlled malleability and prove that it is sufficient for ballot independence. We also prove that non-malleable ballots are sufficient for ballot independence. Thirdly, we prove that ballot independence is sufficient for ballot secrecy in a special case. Our results show that ballot independence is necessary in election schemes satisfying ballot secrecy. Furthermore, our sufficient conditions enable simpler proofs of ballot secrecy.

ePrint: https://eprint.iacr.org/2013/235

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 .