International Conference on E-Voting and Identity

VoteID 2015: E-Voting and Identity pp 92-109

Vote Validatability in Mix-Net-Based eVoting

Conference paper

DOI: 10.1007/978-3-319-22270-7_6

Volume 9269 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Bibiloni P., Escala A., Morillo P. (2015) Vote Validatability in Mix-Net-Based eVoting. In: Haenni R., Koenig R., Wikström D. (eds) E-Voting and Identity. VoteID 2015. Lecture Notes in Computer Science, vol 9269. Springer, Cham

Abstract

One way to build secure electronic voting systems is to use Mix-Nets, which break any correlation between voters and their votes. One of the characteristics of Mix-Net-based eVoting is that ballots are usually decrypted individually and, as a consequence, invalid votes can be detected during the tallying of the election. In particular, this means that the ballot does not need to contain a proof of the vote being valid.

However, allowing for invalid votes to be detected only during the tallying of the election can have bad consequences on the reputation of the election. First, casting a ballot for an invalid vote might be considered as an attack against the eVoting system by non-technical people, who might expect that the system does not accept such ballots. Besides, it would be impossible to track the attacker due to the anonymity provided by the Mix-Net. Second, if a ballot for an invalid vote is produced by a software bug, it might be only detected after the election period has finished. In particular, voters would not be able to cast a valid vote again.

In this work we formalize the concept of having a system that detects invalid votes during the election period. In addition, we give a general construction of an eVoting system satisfying such property and an efficient concrete instantiation based on well-studied assumptions.

Keywords

Electronic voting systems Mix-Nets Formal definitions 

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Departament de Matemàtiques i InformàticaUniversitat de Les Illes BalearsPalmaSpain
  2. 2.Scytl Secure Electronic VotingBarcelonaSpain
  3. 3.Departament de Matemàtica Aplicada IVUniversitat Politècnica de CatalunyaBarcelonaSpain