Prerendered User Interfaces for Higher-Assurance Electronic Voting

Ka-Ping Yee; David A. Wagner; Marti Hearst; Steven Michael Bellovin

Due to scheduled upgrades, Academic Commons will be periodically unavailable on Saturday, May 7 between the hours of 11:30am and 9:30pm North American Eastern Daylight Time.
Prerendered User Interfaces for Higher-Assurance Electronic Voting
Yee, Ka-Ping
Wagner, David A.
Hearst, Marti
Bellovin, Steven Michael
Computer Science
Permanent URL:
Presented at 2006 USENIX/ACCURATE Electronic Voting Technology Workshop (EVT '06), Vancouver, B.C., Canada, August 1, 2006.
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.
Computer science
Item views:
text | xml
Suggested Citation:
Ka-Ping Yee, David A. Wagner, Marti Hearst, Steven Michael Bellovin, 2006, Prerendered User Interfaces for Higher-Assurance Electronic Voting, Columbia University Academic Commons, http://hdl.handle.net/10022/AC:P:9046.

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use | Copyright