electronic voting

News

SAIT Report Affirmed.
FSView Op BRAVO Article.
SAIT joins Operation Bravo.
WFSU Op BRAVO Interview.
SAIT Diebold Review.
SAIT CD13 Report Released
Dr. Yasinsac at NAE’s 2007 Evoting Symposium.

Best viewed with a DHTML & CSS2 comp- atible browser in 1024x768 or higher.

C-SAIT and Electronic Voting Systems Security

C-SAIT hosted its first voting system event in February 2001, sponsoring the talk Technical Details on Electronic Voting Using Cryptography by Dr. Kazue Sako, NEC Corporation, Japan. Since that time, C-SAIT has become a top voting system research center.

C-SAIT Co-Director Yasinsac was appointed by the Florida Secretary of State to serve on the Florida Help America Vote Act Committee in 2006. C-SAIT actively contributed to Florida's HAVA process and developed a strong working relationship with the Florida Division of Elections and several Florida Supervisors of Elections during that process.

In November of 2006, a rare voting anomaly occurred in Florida's Thirteenth U.S. Congressional District, where the victory margin was a razor thin 369 votes. Moreover, since the decisive votes were cast on electronic voting machines, the mandatory audit required a software security review. Florida's governor turned to C-SAIT for this task of vital national importance and interest. The C-SAIT Report set the stage for several subsequent voting system software reviews, with two major California reviews headed by C-SAIT Report investigators.

C-SAIT subsequently conducted several additional source code reviews in support of Florida Department of State voting system certification efforts. These analysis resulted in demonstrable security improvements in Florida electronic voting systems.

C-SAIT Co-Director Yasinsac also contributes to electronic voting technological and policy issues on a national level, beginning by serving on the advisory board for the National Academy of Engineering Symposium on Electronic Voting. He also sat on the first EAC Draft Voluntary Voting System Guidelines roundtable in December 2007.

Dr. Yasinsac is also a member of the U.S. Public Policy Committee of the Association of Computing Machines, a standing committee of the ACM, and is co-chair of the USACM Voting Subcommittee.

Recently, in order to help Bring Remote Access to Voters Overseas (BRAVO) C-SAIT became an Operation BRAVO Foundation partner. This reflects our strong commitment to ensuring accessible, secure voting systems for US citizens living and serving overseas.

C-SAIT continues to seek and provide opportunities for voting system security contributions through Master's theses, course projects, guest lectures, panel participation, and as a resource to government elections officials.

Researchers

Publications

Yasinsac, Alec, John Kerski, David Gainey, Michael Gerke, Kristine Amari, and Donald Newell, “Software Review and Security Analysis of the Diebold Voting Machine Software“, TSX Supplement, For the Florida Department of State, September 28, 2007
Yasinsac, Alec, Breno de Medeiros, David Gainey, John Kerski, Zachary Hartley, Ryan Walega, and Michael Gerke, “ Software and Security Review for Elections Systems and Software iVotronic Firmware Versions 9.1.8.0 and 9.2.0.0“, Supplemental Report, For the Florida Department of State, August 14, 2007
Gainey, David, Michael Gerke, and Alec Yasinsac, “ , Software Review and Security Analysis of the Diebold Voting Machine Software“, Supplemental Report, For the Florida Department of State, August 10, 2007,
Gardner, Ryan, Alec Yasinsac, Matt Bishop, Tadayoshi, Kohno, Zachary Hartley, John Kerski, David Gainey, Ryan Walega, Evan Hollander, and Michael Gerke, “ Software Review and Security Analysis of the Diebold Voting Machine Software,“ Final Report For the Florida Department of State, July 27, 2007
Yasinsac, A., D. Wagner, M. Bishop, T. Baker, B. de Medeiros, G. Tyson, M. Shamos, and M. Burmester, “ Software Review and Security Analysis of the ES&S iVotronic 8.0.1.2 Voting Machine Firmware“, Final Report, Security and Assurance in Information Technology Laboratory, Florida State University, February 23, 2007.