What happenned to 18000 votes: the results of the Saratosa source code audit
| What | Convention |
|---|---|
| When |
2007-09-20 09:37
to 2007-09-21 16:30 |
| Where | Friday 3:30pm, MC 13 |
| Contact Name | SOCS Colloquium |
| Contact Email | help@cs.mcgill.ca |
| Add event to calendar |
|
Colloquium by Michael Shamos from Carnegie Mellon University
On Election Day in the U.S. in 2006, Republican Vern Buchanan beat Democrat
Christine Jennings in Florida's 13th District U.S. Congressional race. The winning margin was 369 votes out of a total of 238,249 cast. However, when the results were tallied, 18,412 electronic ballots from Sarasota County, more than 15% of the ballots, were found to contain no vote for either candidate. Either those votes were properly cast, but lost or misrecorded somehow, or were never cast at all. Sarasota used iVotronic direct-recording electronic machines without a voter-verified paper trail.
Within 24 hours after the election, Florida's Secretary of State started an investigation. Jennings filed a lawsuit in Florida to overturn the election, alleging that the machines were flawed. The U.S. House of Representatives has appointed a subcommittee to look into the matter and another investigation by the Government Accountability Office is underway. Florida formed a task force of security and election experts to determine whether anything in the machines' source code could have caused such a high undervote.
The speaker was a member of that task force along with seven others, including Alec Yasinsac of Florida State University, Matt Bishop of U.C. Davis and David Wagner of U.C. Berkeley. The talk will detail the methodology used by the task force and its findings.
Within 24 hours after the election, Florida's Secretary of State started an investigation. Jennings filed a lawsuit in Florida to overturn the election, alleging that the machines were flawed. The U.S. House of Representatives has appointed a subcommittee to look into the matter and another investigation by the Government Accountability Office is underway. Florida formed a task force of security and election experts to determine whether anything in the machines' source code could have caused such a high undervote.
The speaker was a member of that task force along with seven others, including Alec Yasinsac of Florida State University, Matt Bishop of U.C. Davis and David Wagner of U.C. Berkeley. The talk will detail the methodology used by the task force and its findings.



