dc.contributor |
Universitat Politècnica de Catalunya. Departament de Matemàtiques |
dc.contributor |
Universitat Politècnica de Catalunya. MAK - Matemàtica Aplicada a la Criptografia |
dc.contributor.author |
Bibiloni, Pedro |
dc.contributor.author |
Escala Ribas, Alex |
dc.contributor.author |
Morillo Bosch, M. Paz |
dc.date |
2015 |
dc.identifier.citation |
Bibiloni, P., Escala, A., Morillo, M. Vote validatability in Mix-Net-based eVoting. "Lecture notes in computer science", 2015, vol. 9269, p. 92-109. |
dc.identifier.citation |
0302-9743 |
dc.identifier.citation |
10.1007/978-3-319-22270-7_6 |
dc.identifier.uri |
http://hdl.handle.net/2117/82926 |
dc.language.iso |
eng |
dc.relation |
http://link.springer.com/chapter/10.1007%2F978-3-319-22270-7_6 |
dc.rights |
info:eu-repo/semantics/openAccess |
dc.rights |
http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject |
Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Programació matemàtica |
dc.subject |
Programming (Mathematics) |
dc.subject |
Electronic Voting Systems |
dc.subject |
Mix-Nets |
dc.subject |
Formal Definitions |
dc.subject |
Programació (Matemàtica) |
dc.subject |
Classificació AMS::65 Numerical analysis::65K Mathematical programming, optimization and variational techniques |
dc.title |
Vote validatability in Mix-Net-based eVoting |
dc.type |
info:eu-repo/semantics/submittedVersion |
dc.type |
info:eu-repo/semantics/article |
dc.description.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 tally- ing 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 nished. 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 e - cient concrete instantiation based on well-studied assumptions |
dc.description.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 tally- ing 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 nished. 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 e - cient concrete instantiation based on well-studied assumptions |
dc.description.abstract |
Peer Reviewed |