- Stead, A.G. Using multiple representations to develop notational expertise in programming. Technical Report, Computer Laboratory, University of Cambridge, Cambridge, U.K., June 2016; http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-890.pdfGoogle Scholar
Recommendations
Election Verifiability for Helios under Weaker Trust Assumptions
Computer Security - ESORICS 2014AbstractMost electronic voting schemes aim at providing verifiability: voters should trust the result without having to rely on some authorities. Actually, even a prominent voting system like Helios cannot fully achieve verifiability since a dishonest ...
Provably Improving Election Verifiability in Belenios
Electronic VotingAbstractBelenios is an online voting system that provides a strong notion of election verifiability, where no single party has to be trusted, and security holds as soon as either the voting registrar or the voting server is honest. It was formally proved ...
Machine-assisted election auditing
EVT'07: Proceedings of the USENIX Workshop on Accurate Electronic Voting TechnologyElection audit procedures usually rely on precinct-based recounts, in which workers manually review all paper ballots from selected polling places, but these recounts can be expensive due to the labor required. This paper proposes an alternative audit ...
Comments