NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering
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,...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2020-09-01
|
Series: | Mathematics |
Subjects: | |
Online Access: | https://www.mdpi.com/2227-7390/8/9/1618 |
_version_ | 1797553276615393280 |
---|---|
author | Iñigo Querejeta-Azurmendi David Arroyo Guardeño Jorge L. Hernández-Ardieta Luis Hernández Encinas |
author_facet | Iñigo Querejeta-Azurmendi David Arroyo Guardeño Jorge L. Hernández-Ardieta Luis Hernández Encinas |
author_sort | Iñigo Querejeta-Azurmendi |
collection | DOAJ |
description | 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. |
first_indexed | 2024-03-10T16:14:05Z |
format | Article |
id | doaj.art-ec9695d45e5946cb862460931dadc35d |
institution | Directory Open Access Journal |
issn | 2227-7390 |
language | English |
last_indexed | 2024-03-10T16:14:05Z |
publishDate | 2020-09-01 |
publisher | MDPI AG |
record_format | Article |
series | Mathematics |
spelling | doaj.art-ec9695d45e5946cb862460931dadc35d2023-11-20T14:17:17ZengMDPI AGMathematics2227-73902020-09-0189161810.3390/math8091618NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear FilteringIñigo Querejeta-Azurmendi0David Arroyo Guardeño1Jorge L. Hernández-Ardieta2Luis Hernández Encinas3Departamento de Informática, Universidad Carlos III de Madrid, 28911 Leganés, SpainInstituto de Tecnologías Físicas y de la Información (ITEFI), Consejo Superior de Investigaciones Cientificas (CSIC), 28006 Madrid, SpainDepartamento de Informática, Universidad Carlos III de Madrid, 28911 Leganés, SpainInstituto de Tecnologías Físicas y de la Información (ITEFI), Consejo Superior de Investigaciones Cientificas (CSIC), 28006 Madrid, SpainThis 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.https://www.mdpi.com/2227-7390/8/9/1618internet votingcoercion-resistancedata privacyzero knowledgehomomorphic encryptionusability |
spellingShingle | Iñigo Querejeta-Azurmendi David Arroyo Guardeño Jorge L. Hernández-Ardieta Luis Hernández Encinas NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering Mathematics internet voting coercion-resistance data privacy zero knowledge homomorphic encryption usability |
title | NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering |
title_full | NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering |
title_fullStr | NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering |
title_full_unstemmed | NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering |
title_short | NetVote: A Strict-Coercion Resistance Re-Voting Based Internet Voting Scheme with Linear Filtering |
title_sort | netvote a strict coercion resistance re voting based internet voting scheme with linear filtering |
topic | internet voting coercion-resistance data privacy zero knowledge homomorphic encryption usability |
url | https://www.mdpi.com/2227-7390/8/9/1618 |
work_keys_str_mv | AT inigoquerejetaazurmendi netvoteastrictcoercionresistancerevotingbasedinternetvotingschemewithlinearfiltering AT davidarroyoguardeno netvoteastrictcoercionresistancerevotingbasedinternetvotingschemewithlinearfiltering AT jorgelhernandezardieta netvoteastrictcoercionresistancerevotingbasedinternetvotingschemewithlinearfiltering AT luishernandezencinas netvoteastrictcoercionresistancerevotingbasedinternetvotingschemewithlinearfiltering |