Prerendered user interfaces for higher-assurance electronic voting

EVT 2006 - 2006 USENIX/ACCURATE Electronic Voting Technology Workshop

Volumn , Issue , 2006, Pages

  Yee, Ka Ping ^a   Wagner, David ^a   Hearst, Marti ^a   Bellovin, Steven M ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Och Spine at New York Presbyterian Hospitals   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC VOTING; VERIFICATION; VOTING MACHINES;

HIGH ASSURANCE; PRE-RENDERED; PUBLIC PARTICIPATION; PYTHON CODE; SOFTWARE VERIFICATION; TOUCH-SCREEN VOTING MACHINE; USABILITY TESTING; USER INTERFACE STYLES;

USER INTERFACES;

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

References (15)

1. th U. S. Congress. Help America Vote Act of 2002. http://www.fec.gov/hava/law_ext.txt.
2. Shuki Bruck, David Jefferson, and Ronald L. Rivest. A Modular Voting Architecture (“Frogs”). Workshop on Trustworthy Elections, 2001. http://www.vote.caltech.edu/wote01/pdfs/amva.pdf.
3. Douglas W. Jones. Recommendations for the Conduct of Elections in Miami-Dade County using the ES&S iVotronic System. http://www.cs.uiowa.edu/~jones/voting/miami.pdf.
4. Arthur Keller. Experiences with Sequoia AVC Edge with VeriVote Printer as Precinct Inspector in Santa Clara County. http://gnosis.python-hosting.com/voting-project/June.2006/0081. html.
5. Tadayoshi Kohno, Adam Stubblefield, Aviel D. Rubin, and Dan S. Wallach. Analysis of an Electronic Voting System. In Proceedings of the IEEE Symposium on Security and Privacy, 2004.
6. Samuel Merrill. Making Multicandidate Elections More Democratic. Princeton University Press, 1988.
7. David Molnar, Tadayoshi Kohno, Naveen Sastry, and David Wagner. Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage - or- How to Store Ballots on a Voting Machine. In Proceedings of the IEEE Symposium on Security and Privacy, 2006.
8. National Institute of Standards and Technology. FIPS 180-1: Secure Hash Standard. April 1995. http://www.itl.nist.gov/fipspubs/fip180-1.htm.
9. Raymound S. Nickerson. Confirmation Bias: A Ubiquitous Phenomenon in Many Guises. Review of General Psychology, 2(2):175-220, 1998.
10. Nokia. Python for Series 60. http://www.forum.nokia.com/python.
11. Pygame. http://pygame.org/.
12. Python Software Foundation. Python. http://www.python.org/.
13. Markus Schulze. A New Monotonic and Clone-Independent Single-Winner Election Method. Voting Matters, (17):9-19, October 2003.
14. T. Nicolaus Tideman. Independence of Clones as a Criterion for Voting Rules. Social Choice and Welfare, 4:185-206, 1987.
15. U. S. Election Assistance Commission. EAC 2004 Annual Report. http://www.eac.gov/docs/EAC%20Annual%20Report%20FY04.pdf.