Extending prerendered-interface voting software to support accessibility and other ballot features

EVT 2007 - 2007 USENIX/ACCURATE Electronic Voting Technology Workshop

Volumn , Issue , 2007, Pages

  Yee, Ka Ping ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; ELECTRONIC VOTING; VERIFICATION; VOTING MACHINES;

HIGH ASSURANCE; INPUT DEVICES; MACHINE SOFTWARE; PRE-RENDERED; VISUAL OUTPUTS; VOTING SYSTEMS;

USER INTERFACES;

EID: 74049153124     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Alec Yasinsac, David Wagner, Matt Bishop, Ted Baker, Breno de Medeiros, Gary Tyson, Michael Shamos, Mike Burmester. Software Review and Security Analysis of the ES&S iVotronic 8.0.1.2 Voting Machine Firmware. Florida Department of State, 2007.
2. Jon Bentley. Programming Pearls: Little Languages. Communications of the ACM, 29(8):711-721, Aug. 1986. [3] David Wagner, David Jefferson, Matt Bishop, Chris Karlof, Naveen Sastry. Security Analysis of the Diebold AccuBasic Interpreter, Feb. 2006. http://www.cs.berkeley.edu/~daw/papers/accubasic.pdf.
3. Harri Hursti. Diebold TSx Evaluation: Critical Security Issues with Diebold TSx, May 2006. http://www.blackboxvoting.org/BBVtsxstudy.pdf.
4. Jonathan Bannet, David W. Price, Algis Rudys, Justin Singer, Dan S. Wallach. Hack-a-Vote: Security Issues with Electronic Voting Systems. IEEE Security & Privacy, 2(1):32-37, Jan./Feb. 2004.
5. Doug Jones. Connecting Work on Threat Analysis to the Real World. Threat Analyses for Voting System Categories: A Workshop on Rating Voting Methods, 2006. http://www.cs.uiowa.edu/~jones/voting/VSRW06.pdf.
6. Ken Thompson. Reflections on Trusting Trust. Communications of the ACM, 27(8):761-763, Aug. 1984.
7. NIST and Richard G. Niemi. Sample State and Local Ballots. http://vote.nist.gov/ballots.htm.
8. Pygame. http://pygame.org/.
9. Python Software Foundation. Python. http://www.python.org/.
10. ReportLab, Inc. ReportLab Toolkit. http://www.reportlab.org/.
11. Noel H. Runyan. Improving Access to Voting: A Report on the Technology for Accessible Voting Systems. Demos and Voter Action, Feb. 2007. http://demos.org/pubs/improving access.pdf.
12. Ted Selker. Voting Technology: Election Auditing is an End-to-End Procedure. Science, 308(5730):1873-1874, Jun. 2005.
13. Molly F. Story. Maximizing Usability: The Principles of Universal Design. Assistive Technology, 10(1):4-12, 1998.
14. Tadayoshi Kohno, Adam Stubblefield, Aviel D. Rubin, Dan S. Wallach. Analysis of an Electronic Voting System. In Proceedings of the IEEE Symposium on Security and Privacy, 2004.
15. RABA Technologies. Trusted Agent Report: Diebold AccuVote-TS Voting System, Jan. 2004. http://www.raba.com/press/TA Report AccuVote.pdf.
16. U. S. Election Assistance Commission. 2005 Voluntary Voting System Guidelines, Dec. 2005. http://www.eac.gov/vvsg intro.htm.
17. U. S. Election Assistance Commission. Draft Usability and Accessibility Requirements for 2007 Voluntary Voting System Guidelines. NIST, Dec. 2006. http://vote.nist.gov/VVSG-HFP.pdf.
18. Ka-Ping Yee. Pvote Software Review Assurance Document. UC Berkeley EECS Technical Report 2007-40, Apr. 2007. http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-40.html.
19. Ka-Ping Yee, David Wagner, Marti Hearst, and Steven Bellovin. Prerendered User Interfaces for Higher-Assurance Electronic Voting. In Proceedings of the Electronic Voting Technology Workshop, 2006.