Differences between revisions 16 and 17
| Deletions are marked like this. | Additions are marked like this. |
| Line 41: | Line 41: |
| * Brennan Center's 2006 Report "The Machinery of Democracy: Protecting Elections in an Electronic World" [[attachment:brennan_report_06,pdf PDF]][[BR]] | * Brennan Center's 2006 Report "The Machinery of Democracy: Protecting Elections in an Electronic World" [[attachment:brennan_report_06.pdf PDF]][[BR]] |
References
UC Davis E-Voting Research Group
These documents are made available for ease of reference for our group
Standards
Performance and Test Standards for Punchcard, Marksense, and Direct Recording Electronic Voting Systems
FEC 1990 (created by Joseph Lorenzo Hall) [PDF]
Voting System Performance and Test Standards
Voluntary Voting Systems Guidelines
Voting System Testing and Certification Program Manual
EAC draft (Sept 28, 2006) [PDF]
IEEE Voting Equipment Standard
Project IEEE P1583 is charged with development of a standard of requirements and evaluation methods for election voting equipment.
Laws and Regulations
Holt Bill HR 8.11, Feb. 2007 [commentary]
California SB 1723, May 2004 (Decertification of paperless DREs) [analysis, testimony, ammended, votes, history, status]
Reports on E-Voting Systems
The CA SoS's "Top to Bottom Review" UC Reports, (July. 2007) [link]
These reports were commissioned by the California Secretary of State's office.The FSU Report (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," (Feb. 2007) [PDF]
This report was commissioned by the Florida State Division of Elections.Brennan Center's 2006 Report "The Machinery of Democracy: Protecting Elections in an Electronic World" [PDF]
ACCURATE comment on the EAC's draft Voting System Testing & Certification Program (VSTCP) Manual (Oct. 2006) [link]
Government Accountability Office, GAO Report GAO-05-956 (Sept 2005)
"Federal Efforts to Improve Security and Reliability of Electronic Voting Systems Are Under Way, but Key Activities Need to Be Completed," [HTML PDF]T. Kohno, A. Stubblefield, A. Rubin, and D. Wallach, "Analysis of an Electronic Voting System," [PDF]
IEEE Symposium on Security and Privacy (May 2004).
This originally appeared as Johns Hopkins University Information Security Institute Technical Report TR-2003-19, July 2003.SAIC, "Risk Assessment Report: Diebold AccuVote-TS Voting System and Processes," [PDF]
SAIC Report SAIC-6099-2003-261 (Sep. 2003).
This report was prepared for the Department of Budget and Management, Office of Information Technology, State of Maryland and was redacted before being released to the public.RABA Innovative Solution Cell, "Trusted Agent Report: Diebold AccuVote-TS Voting System," [PDF]
RABA Technologies LLC, 8830 Stanford Blvd., Suite 205, Columbia, MD 21045 (Jan. 2004).
This report was prepared for the Department of Legislative Services, Maryland General Assembly, State of Maryland.InfoSENTRY, "Computerized Voting Systems Security Assessment," [PDF]
InfoSENTRY Volume I : Summary of Findings and Recommendations (Nov. 2003)
This report was prepared for the Ohio Secretary of State.Compuware, "Direct Recording Electronic (DRE) Technical Security Assessment Report," [PDF]
Compuware Corporation (Nov. 2003)
This report was prepared for the Ohio Secretary of State.
Papers
"Tamper-Evident, History-Independent, Subliminal-Free Data Structures on PROM Storage -or- How to Store Ballots on a Voting Machine,"
David Molnar, Tadayoshi Kohno, Naveen Sastry and David Wagner"Designing voting machines for verification,"
N. Sastry, T. Kohno, and D. Wagner, Usenix Security 2006"Definition and Analysis of Election Processes,"
Mohammad S. Raunak, Leon J. Osterweil, Bin Chen, Amr Elssamadisy, and Lori A. Clarke"Little-JIL/Juliette: A Process Definition Language and Interpreter,"
A. Cass, B. Lerner, E. McCall, and L. Osterweil. Conf. on Software Engineering, 2000. 744–757."Little-JIL 1.0 language report,"
A. Wise. U Mass, Amherst TR UM-CS-1998-024."Prerendered User Interfaces for Higher-Assurance Electronic Voting,"
Ka-Ping Yee, David Wagner, Marti Hearst, and Steven M. Bellovin

