Sequoia / Central Elections Software / Fortify Software / Polling Station Equipment / Microsoft / /
Event
Product Issues / /
Facility
Davis University of California / Berkeley Sophie Engle Chris Karlof University of California / Sequoia Voting System1 Matt Blaze2 Arel Cordero University of Pennsylvania3 University of California / UC Berkeley campus / Berkeley Naveen Sastry Micah Sherr University of California / Joe Hall / University of California / Berkeley University of Pennsylvania Till Stegers Ka-Ping Yee University of California / /
IndustryTerm
recount ballot processing / untrusted media / back-end processing functions / electronic voting systems / software installations / reviewed software / defensive software / station hardware / external Internet / static analysis tool / source code analysis tools / removable media / software structure / large systems / assurance critical systems / ballot collection equipment / software behavior / definitive search / software lacks reliable measures / software mechanism / voter registration systems / machine software / election management software / code analysis tools / absentee ballot processing / secure network / precinct voting hardware / election law / /
OperatingSystem
Microsoft Windows / /
Organization
University of California / Davis University / University of Pennsylvania / UC Berkeley / University of California / Berkeley / Sequoia Voting System1 Matt Blaze2 Arel Cordero University / county elections board / University of California / Berkeley University / county election office / Report Organization / /
Person
Ping Yee / Chris Karlof / Seenu Inguva / Fredrik Valeur / Micah Sherr / Eric Rescorla / Deirdre Mulligan / Dan Wallach / William Robertson / Hovav Shacham / Marco Cova / Sophie Engle / Matt Blaze / Giovanni Vigna / Richard Kemmerer / /
Position
Team leader / team co-leader / Secretary of State / trained software engineer / author / California Secretary / Executive / poll worker / malicious programmer / Secretary of State / as part / /
Product
Cryptographic Implementation / /
ProgrammingLanguage
Visual Basic / PowerBuilder / C / SQL / C++ / /
ProvinceOrState
Alameda County / California / /
Technology
operating system / 2.2 Poor Algorithms / Cryptography / /
Source Code Review of the Sequoia Voting System