In Spring of 2007, the California Secretary of State convened a team of
security researchers to review the electronic voting systems certified for
use in California. We were provided with the source code for the systems
as well as with access to the hardware. Serious and exploitable
vulnerabilities were found in all the systems analyzed: Diebold, Hart, and
Sequoia. I'll be discussing the effort as a whole, providing an overview
of the issues that all the teams found, and then discussing in detail the
system my team studied, Hart InterCivic.

Joint work with Srinivas Inguva, Eric Rescorla, and Dan Wallach.