Study on poll-site voting and verification systems

• Published in: Computers & security Vol. 31; no. 8; pp. 989 - 1010
• Main Authors: Jardí-Cedó, Roger, Pujol-Ahulló, Jordi, Castellà-Roca, Jordi, Viejo, Alexandre
• Format: Journal Article
• Language: English
• Published: Amsterdam Elsevier Ltd 01.11.2012; Elsevier Sequoia S.A
• Subjects: Commerce; Computer information security; Computer simulation; Constrictions; E-Voting; Electronic voting; Evaluation framework; Evolution; Information systems; Law; Mathematical models; Online voting; Paper-based voting; Poll-site voting; Protocol verification; Studies; Verification; Voting; Voting machines; Voting systems; Evaluation framework; E-Voting; Poll-site voting; Paper-based voting; Voting systems; Verification; Electronic voting
• ISSN: 0167-4048; 1872-6208
• DOI: 10.1016/j.cose.2012.08.001

Voting is an important part of the democratic process. The electorate makes a decision or expresses an opinion that is accepted by everyone. However, some individual or group may be interested in tampering with the elections process to force an outcome in their favor. Hence, controlling the whole voting process to ensure that it is performed correctly and according to current rules and law is, then, even more important. In this work, we present a review of existing verification systems for paper-based and electronic voting systems in supervised environments, from both academic and commercial worlds. To do so, we perform a fair comparison of a set of representative voting verification systems using an evaluation framework. We define this framework to be composed of several properties, covering important system areas, ranging from user interaction to security issues. Then, we model the natural evolution of verifiability issues on notable voting systems from academia and commerce which are influenced by restrictions on current laws and by the advance of technology.