Browsing Computing and Information Science Technical Reports by Subject "Applied cryptography"

Now showing items 1-2 of 2

Computational Election Verifiability: Definitions and an Analysis of Helios and JCJ

Smyth, Ben; Frink, Steven; Clarkson, Michael R. (2015-04-13)

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 ...
Election Verifiability: Cryptographic Definitions and an Analysis of Helios and JCJ

Smyth, Ben; Frink, Steven; Clarkson, Michael R. (2017-02-13)

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 ...