Systemic issues in the hart intercivic and premier voting systems: Reflections on project everest

EVT 2008 - 2008 USENIX/ACCURATE Electronic Voting Technology Workshop

Volumn , Issue , 2008, Pages

  Butler, Kevin ^a   Enck, William ^a   Hursti, Harri ^a   McLaughlin, Stephen ^a   Traynor, Patrick ^a   McDaniel, Patrick ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

VOTING MACHINES;

AREAS OF CONCERNS; DATA INTEGRITY; ELECTION SYSTEMS; POLITICAL CLIMATE; SECURITY ANALYSIS; SOFTWARE FEATURES; SYSTEMATIC METHODOLOGY; VOTING SYSTEMS;

ELECTRONIC VOTING;

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

References (19)

1. Patrick McDaniel, Kevin Butler, William Enck, Harri Hursti, Stephen McLaughlin, Patrick Traynor, Matt Blaze, Adam Aviv, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Giovanni Vigna, Richard Kemmerer, David Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, William Robertson, Fredrik Valeur, Joseph Lorenzo Hall, and Laura Quilter. EVEREST: Evaluation and Validation of Election-Related Equipment, Standards and Testing. http://www.sos.state.oh.us/, 2007.
2. Tadayoshi Kohno, Adam Stubblefield, Aviel Rubin, and Dan Wallach. Analysis of an Electronic Voting System. In Proceedings of the IEEE Symposium on Security and Privacy, May 2004.
3. A. Kiayias, L. Michel, A. Russell, and A. A. Shvartsman. Security Assessment of the Diebold Optical Scan Voting Terminal. UConn Voting Technology Research (VoTeR) Center, October 30, 2006.
4. A. Kiayias, L. Michel, A. Russell, and A. A. Shvartsman. Integrity Vulnerabilities in the Diebold TSX Voting Terminal. UConn Voting Technology Research (VoTeR) Center, July 16, 2007.
5. Elliot Proebstel, Sean Riddle, Francis Hsu, Justin Cummins, Freddie Oakley, Tom Stanionis, and Matt Bishop. An Analysis of the Hart Intercivic DAU eSlate. In Proceedings of the USENIX/ACCURATE Electronic Voting Technology Workshop, August 2007.
6. Joseph Calandrino, Ariel Feldman, Alex Halderman, David Wagner, Harlan Yu, and William Zeller. Source code review of the Diebold voting system. University of California, Berkeley under contract to the California Secretary of State, July 20, 2007.
7. Srinivas Inguva, Eric Rescorla, Hovav Shacham, and Dan Wallach. Source code review of the Hart InterCivic voting system. University of California, Berkeley under contract to the California Secretary of State, July 20, 2007.
8. Robert Abbot, Mark Davis, Joseph Edmonds, Luke Florer, Elliot Proebstel, Brian Porter, Sujeet Shenoi, and Jacob Stauffer. UC Red Team Report: Diebold Elections Systems, Inc. University of California, Berkeley under contract to the California Secretary of State, July 2007.
9. Robert Abbot, Mark Davis, Joseph Edmonds, Luke Florer, Elliot Proebstel, Brian Porter, Sujeet Shenoi, and Jacob Stauffer. UC Red Team Report: Hart InterCivic. University of California, Berkeley under contract to the California Secretary of State, July 2007.
10. Ryan Gardner, Alec Yasinsac, Matt Bishop, Tadayoshi Kohno, Zachary Hartley, John Kerski, David Gainey, Ryan Walega, Evan Hollander, and Michael Gerke. Software Review and Security Analysis of the Diebold Voting Machine Software. Security and Assurance in Information Technology (SAIT) Laboratory, Florida State University, For the Florida Department of State, July 27, 2007.
11. David Gainey, Michael Gerke, and Alec Yasinsac. Software Review and Security Analysis of the Diebold Voting Machine Software: Supplemental Report. Security and Assurance in Information Technology (SAIT) Laboratory, Florida State University, For the Florida Department of State, August 10, 2007.
12. Fortify Source Code Analysis (SCA). http://www.fortifysoftware.com/products/sca/.
13. D. van Heesch. Doxygen. http://www.doxygen.org.
14. Roger G. Johnston. Tamper-indicating seals. American Scientist, 94:515-523, November-Decemeber 2006.
15. Hart InterCivic. BOSS Operations Manual 6100-019. Rev. 43-62A.
16. Ariel Feldman, J. Alex Halderman, and Edward Felten. Security Analysis of the Diebold AccuVote-TS Voting Machine. In USENIX/ACCURATE Electronic Voting Technology Workshop (EVT), 2007.
17. Microsoft Corporation. Microsoft Security Bulletin (MS00-0500). http://www.microsoft.com/technet/security/Bulletin/MS00-050.mspx, July 2000.
18. Microsoft Corporation. Microsoft Security Bulletin (MS02-004). http://www.microsoft.com/technet/security/Bulletin/MS02-004.mspx, February 2004.
19. Leo Dorrendorf, Zvi Gutterman, and Benny Pinkas. Cryptanalysis of the Random Number Generator of the Windows 2000 Operating System. In Proceedings of the ACM Conference on Computer and Communications Security, Alexandria, VA, November 2007.