Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ
MetadataShow full item record
Smyth, Ben; Frink, Steven; Clarkson, Michael R.
Definitions of election verifiability in the computational model of cryptography are proposed. The definitions formalize notions of voters verifying their own votes, auditors verifying the tally of votes, and auditors verifying that only eligible voters vote. The Helios (Adida et al., 2009) and JCJ (Juels et al., 2010) election schemes are shown to satisfy these definitions. Two previous definitions (Juels et al., 2010; Cortier et al., 2014) are shown to permit election schemes vulnerable to attacks, whereas the new definitions prohibit those schemes.
Content file updated at author's request on 2015-05-01.
Electronic voting; Individual verifiability; Universal verifiability; Eligibility verifiability; Collusion attack; Authentication; Applied cryptography