[Resource Topic] 2011/517: Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study

Welcome to the resource topic for 2011/517

Title:
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study

Authors: Ralf Kuesters, Tomasz Truderung, Andreas Vogt

Abstract:

In this paper, we present new insights into central properties of voting systems, namely verifiability, privacy, and coercion-resistance. We demonstrate that the combination of the two forms of verifiability considered in the literature—individual and universal verifiability—are, unlike commonly believed, insufficient to guarantee overall verifiability. We also demonstrate that the relationship between coercion-resistance and privacy is more subtle than suggested in the literature. Our findings are partly based on a case study of prominent voting systems, ThreeBallot and VAV, for which, among others, we show that, unlike commonly believed, they do not provide any reasonable level of verifiability, even though they satisfy individual and universal verifiability. Also, we show that the original variants of ThreeBallot and VAV provide a better level of coercion-resistance than of privacy.

ePrint: https://eprint.iacr.org/2011/517

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 .