Hack-a-Vote: Security Issues with Electronic Voting Systems

IEEE Security and Privacy

Volumn 2, Issue 1, 2004, Pages 32-37

  Bannet, Jonathan ^a   Price, David W ^a,b   Rudys, Algis ^a   Singer, Justin ^a,c   Wallach, Dan S ^a,d  

^a RICE UNIVERSITY   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^c SMBology   (United States)

^d Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIRECT RECORDING ELECTRONIC (DRE) VOTING MACHINES; ELECTRONIC VOTING SYSTEMS; SOFTWARE SECURITY;

COMPUTER SOFTWARE; CRYPTOGRAPHY; EDUCATION; ELECTRIC CODES; ELECTRONIC EQUIPMENT; PROJECT MANAGEMENT; STUDENTS; WEBSITES;

VOTING MACHINES;

EID: 2342466750     PISSN: 15407993     EISSN: None     Source Type: Journal    
DOI: 10.1109/MSECP.2004.1264851     Document Type: Review

References (12)

1. B. Harris and D. Allen, Black Box Voting: Vote Tampering in the 21st Century, Plan Nine Publishing, 2003.
2. T. Kohno et al., Analysis of an Electronic Voting System, tech. report TR-2003-19, Johns Hopkins Information Security Inst., 2003.
3. R. Anderson, "How to Cheat at the Lottery (or, Massively Parallel Requirements Engineering)," Ann. Computer Security App. Conf Proc., IEEE CS Press, 1999, pp. 1-2.
4. A.D. Gordon and A. Jeffrey, "Authenticity by Typing for Security Protocols," 14th IEEE Computer Security Foundations Workshop, IEEE CS Press, 2001, pp. 145-159.
5. M. Dresser, "Legislators Are Warned by Voting System Critic: Expert Who Found Flaws Fears They Weren't Fixed," The Baltimore Sun, 14 Nov. 2003.
6. D. Dean et al., "Java Security: Web Browsers and Beyond," Internet Besieged: Countering Cyberspace Scofflaws, D.E. Denning and P.J. Denning, eds., ACM Press, 1997, pp. 241-269.
7. California Secretary of State, "Secretary of State Kevin Shelley Launches Independent Audit of California Voting Systems," news release KS03:100, 12 Nov. 2003, www.ss.ca.gov/executive/press_releases/2003/03_100.pdf.
8. G.G. Necula and P. Lee, "Safe Kernel Extensions without Run-Time Checking," 2nd Symp. Operating Systems Design and Implementation (OSDI), Usenix Assoc., 1996, pp. 229-243.
9. D. Engler et al., "Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code," Proc. 18th ACM Symp. Operating System Principles, ACM Press, 2001, pp. 57-72.
10. L. McVoy, "BK2CVS Problem," Linux Kernel Mailing List, 5 Nov. 2003, www.ussg.iu.edu/hypermail/linux/kernel/0311.0/0621.html.
11. R. Mercuri, Electronic Vote Tabulation: Checks and Balances, PhD thesis, Dept. of Computer and Information Systems, Univ. of Pennsylvania, Philadelphia, Oct. 2000.
12. D.L. Dill et al., "Frequently Asked Questions about DRE Voting Systems," Feb. 2003, www.verifiedvoting.org/drefaq.asp.