2023/11/21 by Aida Manzano Kharman, Kharman, Aida Manzano, Ben Smyth +3
Computer Science · Economics, Econometrics and Finance · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Game Theory and Voting Systems #Internet Traffic Analysis and Secure E-voting
paper · pdf · doi:10.48550/arxiv.2311.12977
openalex publication_date 2023/11/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We formalise definitions of ballot secrecy and ballot independence by Smyth, JCS'21 as indistinguishability games in the computational model of security. These definitions improve upon Smyth, draft '21 to consider a wider class of voting systems. Both Smyth, JCS'21 and Smyth, draft '21 improve on earlier works by considering a more realistic adversary model wherein they have access to the ballot collection. We prove that ballot secrecy implies ballot independence. We say ballot independence holds if a system has non-malleable ballots. We construct games for ballot secrecy and non-malleability and show that voting schemes with malleable ballots do not preserve ballot secrecy. We demonstrate that Helios does not satisfy our definition of ballot secrecy. Furthermore, the Python framework we constructed for our case study shows that if an attack exists against non-malleability, this attack can be used to break ballot secrecy.