Prerendered user interfaces for higher-assurance electronic voting

Authors:
Ka-Ping Yee;David Wagner;Marti Hearst;Steven M. Bellovin
Affiliations:
University of California, Berkeley, CA;University of California, Berkeley, CA;University of California, Berkeley, CA;Columbia University, New York, NY
Venue:
EVT'06 Proceedings of the USENIX/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop
Year:
2006

Citing 1
Cited 16

Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract)

SP '06 Proceedings of the 2006 IEEE Symposium on Security and Privacy

Transparency and access to source code in electronic voting

EVT'06 Proceedings of the USENIX/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop
An independent audit framework for software dependent voting systems

Proceedings of the 14th ACM conference on Computer and communications security
Casting votes in the auditorium

EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
Extending prerendered-interface voting software to support accessibility and other ballot features

EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
On the difficulty of validating voting machine software with software

EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
Electronic voting machines versus traditional methods: improved preference, similar performance

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
VoteBox: a tamper-evident, verifiable electronic voting system

SS'08 Proceedings of the 17th conference on Security symposium
The case for networked remote voting precincts

EVT'08 Proceedings of the conference on Electronic voting technology
On voting machine design for verification and testability

Proceedings of the 16th ACM conference on Computer and communications security
Vote-o-graph: a dishonest touchscreen voting system

CHI '10 Extended Abstracts on Human Factors in Computing Systems
The security analysis of e-voting in Japan

VOTE-ID'07 Proceedings of the 1st international conference on E-voting and identity
Improving Voting System Event Logs

RE-VOTE '09 Proceedings of the 2009 First International Workshop on Requirements Engineering for e-Voting Systems
VoteBox nano: a smaller, stronger FPGA-based voting machine

EVT/WOTE'09 Proceedings of the 2009 conference on Electronic voting technology/workshop on trustworthy elections
Towards publishable event logs that reveal touchscreen faults

EVT/WOTE'10 Proceedings of the 2010 international conference on Electronic voting technology/workshop on trustworthy elections
Designing for audit: a voting machine with a tiny TCB

FC'10 Proceedings of the 14th international conference on Financial Cryptography and Data Security
A modular voting architecture (“frog voting”)

Towards Trustworthy Elections

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an electronic voting machine architecture in which the voting user interface is prerendered and published before election day. The prerendered user interface is a verifiable artifact-an electronic sample ballot-enabling public participation in the review, verification, usability testing, and accessibility testing of the ballot. Preparing the user interface outside of the voting machine dramatically reduces the amount and difficulty of software verification required to assure the correctness of the election result. We present a design for a high-assurance touchscreen voting machine that supports a wide range of user interface styles and demonstrate its feasibility by implementing it in less than 300 lines of Python code.