Electronic Voting Machines

LEVI User Manual

Date Published: 
01/01/2009
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: 
01/01/2009
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.

Auditing Technology for Electronic Voting Machines

Date Published: 
01/01/2009
Author(s): 
Sharon Cohen

Direct Recording Electronic (DRE) voting machine security has been a significant topic of contention ever since Diebold voting machine code turned up on a public internet site in 2003 and computer scientists at Johns Hopkins University declared the machine “unsuitable for use in a general election.” Since then, many people from computer scientists to politicians have begun to insist that DREs be equipped with a paper trail. A paper trail provides a paper printout for the voter to approve at the end of each voting session.

Certification of Voting Software: Position Statement

Date Published: 
01/01/2009
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: 
01/01/2009
Author(s): 
Ted Selker, MIT
Jonathan Goler, MIT

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: 
01/01/2009
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
Date Published: 
01/01/2009

No abstract available.

Syndicate content