Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Prerendered User Interfaces for Higher-Assurance Electronic Voting

Ka-Ping Yee, David Wagner, Marti Hearst and Steven Bellovin

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2006-35
April 5, 2006

http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-35.pdf

We propose an election system 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 can support a wide range of user interface styles and demonstrate its feasibility by implementing it in less than 300 lines of Python.


BibTeX citation:

@techreport{Yee:EECS-2006-35,
    Author = {Yee, Ka-Ping and Wagner, David and Hearst, Marti and Bellovin, Steven},
    Title = {Prerendered User Interfaces for Higher-Assurance Electronic Voting},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2006},
    Month = {Apr},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-35.html},
    Number = {UCB/EECS-2006-35},
    Abstract = {We propose an election system architecture in which the voting user interface is prerendered and published before election day.  The prerendered user interface is a verifiable artifact -- an <i>electronic sample ballot</i> -- 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 can support a wide range of user interface styles and demonstrate its feasibility by implementing it in less than 300 lines of Python.}
}

EndNote citation:

%0 Report
%A Yee, Ka-Ping
%A Wagner, David
%A Hearst, Marti
%A Bellovin, Steven
%T Prerendered User Interfaces for Higher-Assurance Electronic Voting
%I EECS Department, University of California, Berkeley
%D 2006
%8 April 5
%@ UCB/EECS-2006-35
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-35.html
%F Yee:EECS-2006-35