1 citations · 1 across the 2 of their papers we have counts for
3 papers
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.CY2024★ 1 cited
Perils of current DAO governance
Aida Manzano Kharman, Ben Smyth
DAO Governance is currently broken. We survey the state of the art and find worrying conclusions. Vote buying, vote selling and coercion are easy. The wealthy rule, decentralisatio…
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…