Efficient Mixing of Arbitrary Ballots with Everlasting Privacy: How to Verifiably Mix the PPATC Scheme

Towards a Publicly-Verifiable Mix-Net Providing Everlasting Privacy

Financial Cryptography and Data Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39884-1_16 ◽

2013 ◽

pp. 197-204 ◽

Cited By ~ 10

Author(s):

Johannes Buchmann ◽

Denise Demirel ◽

Jeroen van de Graaf

Keyword(s):

Everlasting Privacy

Download Full-text

Receipt-free remote electronic elections with everlasting privacy

annals of telecommunications - annales des télécommunications ◽

10.1007/s12243-016-0519-6 ◽

2016 ◽

Vol 71 (7-8) ◽

pp. 323-336 ◽

Cited By ~ 3

Author(s):

Philipp Locher ◽

Rolf Haenni

Keyword(s):

Everlasting Privacy

Download Full-text

NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering

Mathematics ◽

10.3390/math8091618 ◽

2020 ◽

Vol 8 (9) ◽

pp. 1618

Author(s):

Iñigo Querejeta-Azurmendi ◽

David Arroyo Guardeño ◽

Jorge L. Hernández-Ardieta ◽

Luis Hernández Encinas

Keyword(s):

Linear Complexity ◽

Security Analysis ◽

Linear Filtering ◽

Vote Buying ◽

Internet Voting ◽

Formal Definitions ◽

Cryptographic Keys ◽

Vote Intention ◽

Definition Of ◽

Everlasting Privacy

This paper proposes NetVote, an internet voting protocol where usability and ease in deployment are a priority. We introduce the notion of strict coercion resistance, to distinguish between vote-buying and coercion resistance. We propose a protocol with ballot secrecy, practical everlasting privacy, verifiability and strict coercion resistance in the re-voting setting. Coercion is mitigated via a random dummy vote padding strategy to hide voting patterns and make re-voting deniable. This allows us to build a filtering phase with linear complexity, based on zero knowledge proofs to ensure correctness while maintaining privacy of the process. Voting tokens are formed by anonymous credentials and pseudorandom identifiers, achieving practical everlasting privacy, where even if dealing with a future computationally unbounded adversary, vote intention is still hidden. It is not assumed for voters to own cryptographic keys prior to the election, nor store cryptographic material during the election. This property allows voters not only to vote multiple times, but also from different devices each time, granting the voter a vote-from-anywhere experience. This paper builds on top of the paper published in CISIS’19. In this version, we modify the filtering. Moreover, we formally define the padding technique, which allows us to perform the linear filtering scheme. Similarly we provide more details on the protocol itself and include a section of the security analysis, where we include the formal definitions of strict coercion resistance and a game based definition of practical everlasting privacy. Finally, we prove that NetVote satisfies them all.

Download Full-text