Electronic Voting Machines

LEVI User Manual

Date Published: 
11/30/2008
Author(s): 
Shawn Sullivan
A user manual for LEVI voting systems.

Qualitative Evaluation: "VotoElectronico: Prueba Piloto 2005, Ciudad De Buenos Aires"

Working Paper No.: 
43
Date Published: 
11/30/2008
Author(s): 
R. Michael Alvarez
The Buenos Aires “VotoElectronico” pilot project took place on October 23, 2005, in the City of Buenos Aires. It involved a pilot test of four different electronic voting systems, in at least 43 voting stations located throughout the City. The purpose of this report is to provide initial qualitative assessments of the pilot project. Quantitative analysis will hopefully be presented at a later date, once detailed data from the pilot project are available for examination.

Certification of Voting Software: Position Statement

Date Published: 
11/30/2008
Author(s): 
Ted Selker
Computers are important in every aspect of modern life. Automative tabulating machines are designed to be the most consistent and reliable counting approach invented. Still, questions of reliability, security and auditability persist. Ken Thompson and others have shown that, like other carelessly composed processes, computer programs can harbor potentially criminal activity. To be useful for voting, software must simplify and improve the ability to record and report intentions.

Security Vulnerabilities and Problems with VVPT

Working Paper No.: 
16
Date Published: 
11/30/2008
Author(s): 
Jonathan Goler
MIT
Ted Selker
A proposed Voter Verifiable Paper Trail (VVPT) includes a printed ballot as a receipt that a voter can view to verify their vote before leaving an electronic voting machine. This method is also supposed to insure the accuracy of the recorded vote by allowing the tally to be checked later by counting the collected receipts.

Certification and Voting Software: Position Statement

Working Paper No.: 
15
Date Published: 
11/30/2008
Author(s): 
Ted Selker
MIT
Computers are important in every aspect of modern life. Automative tabulating machines are designed to be the most consistent and reliable counting approach invented. Still, questions of reliability, security and auditability persist. Ken Thompson and others have shown that, like other carelessly composed processes, computer programs can harbor potentially criminal activity. To be useful for voting, software must simplify and improve the ability to record and report intentions.

Election Auditing is an End-to-End Procedure

Author(s): 
Ted Selker
Journal: 
Science
pp: 
1873-1874
Link to Article: 
Date Published: 
11/30/2008
No abstract available.
Subscribe to RSS - Electronic Voting Machines