Verifiable Voting Systems
Thea Peacock, University of Luxembourg
Peter Y.A. Ryan, University of Luxembourg
Steve Schneider, University of Surrey
Zhe Xia, Wuhan University of Technology
Many general challenges involved in running a voting system securely are common to any complex secure system, and any implementation will need to take account of these. Over and above these challenges, we introduce a particular approach to addressing the challenge of demonstrating trustworthiness, around the key idea of end-to-end verifiability. This means that every step of the processing of the votes, from vote casting through vote tallying, can be independently verified by some agent independent of the voting system itself. ...