1 citations · 1 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Secrecy and Verifiability: An Introduction to Electronic Voting
Paul Keeler, Ben Smyth
Democracies are built upon secure and reliable voting systems. Electronic voting systems seek to replace ballot papers and boxes with computer hardware and software. Proposed elect…
cs.CR2023
Is your vote truly secret? Ballot Secrecy iff Ballot Independence: Proving necessary conditions and analysing case studies
Aida Manzano Kharman, Ben Smyth, Freddie Page
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…