Now showing items 1-3 of 3
Democracy Enhancing Technologies: Toward deployable and incoercible E2E elections
(University of Waterloo, 2011-06-09)
End-to-end verifiable election systems (E2E systems) provide a provably correct tally while maintaining the secrecy of each voter's ballot, even if the voter is complicit in demonstrating how they voted. Providing voter ...
Efficient Zero-Knowledge Proofs and Applications
(University of Waterloo, 2014-08-12)
Zero-knowledge proofs provide a means for a prover to convince a verifier that some claim is true and nothing more. The ability to prove statements while conveying zero information beyond their veracity has profound ...
Cryptographic End-to-end Verification for Real-world Elections
(University of Waterloo, 2012-07-05)
In this dissertation we study the problem of making electronic voting trustworthy through the use of cryptographic end-to-end (E2E) audits. In particular, we present a series of novel proposals for cryptographic election ...