EVT '08 | Administrative and Public Verifiability: Can We Have Both? | Josh Benaloh |
EVT '08 | The Case for Networked Remote Voting Precincts | Daniel R. Sandler, Dan S. Wallach |
EVT '08 | Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards | Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman |
EVT '08 | Improving the Security, Transparency, and Efficiency of California's 1% Manual Tally Procedures | |
EVT '08 | Comparing the Auditability of Optical Scan, Voter Verified Paper Audit Trail (VVPAT) and Video (VVVAT) Ballot Systems | Stephen N. Goggin, Michael D. Byrne, Juan E. Gilbert, Gregory Rogers, Jerome McClendon |
EVT '08 | Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences | Komminist Weldemariam, Adolfo Villafiorita |
EVT '08 | Security Evaluation of ES&S Voting Machines and Election Management System | Adam Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze |
EVT '08 | Systemic Issues in the Hart InterCivic and Premier Voting Systems: Reflections on Project EVEREST | Kevin Butler, William Enck, Harri Hursti, Stephen McLaughlin, Patrick Traynor, Patrick McDaniel |
EVT '08 | Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption | Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré |
EVT '08 | Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes | David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Peter Y.A. Ryan, Emily Shen, Alan T. Sherman |
EVT '08 | Coercion-Resistant Tallying for STV Voting | Vanessa Teague, Kim Ramchen, Lee Naish |
EVT '07 | Studying the Nedap/Groenendaal ES3B Voting Computer: A Computer Security Perspective | Rop Gonggrijp, Willem-Jan Hengeveld |
EVT '07 | Security Analysis of the Diebold AccuVote-TS Voting Machine | Ariel J. Feldman, J. Alex Halderman, Edward W. Felten |
EVT '07 | An Analysis of the Hart Intercivic DAU eSlate | Elliot Proebstel, Sean Riddle, Francis Hsu, Justin Cummins, Freddie Oakley, Tom Stanionis, Matt Bishop |
EVT '07 | Casting Votes in the Auditorium | Daniel Sandler, Dan S. Wallach |
EVT '07 | Extending Prerendered-Interface Voting Software to Support Accessibility and Other Ballot Features | Ka-Ping Yee |
EVT '07 | Verification-Centric Realization of Electronic Vote Counting | Joseph R. Kiniry, Dermot Cochran, Patrick E. Tierney |
EVT '07 | Contractual Barriers to Transparency in Electronic Voting | Joseph Lorenzo Hall |
EVT '07 | On Estimating the Size and Confidence of a Statistical Audit | Javed A. Aslam, Raluca A. Popa, Ronald L. Rivest |
EVT '07 | Machine-Assisted Election Auditing | Joseph A. Calandrino |
EVT '07 | An Examination of the Auditability of Voter Verified Paper Audit Trail (VVPAT) Ballots | Stephen N. Goggin, Michael D. Byrne |
EVT '07 | On the Difficulty of Validating Voting Machine Software with Software | Ryan Gardner, Sujata Garera, Aviel D. Rubin |
EVT '07 | GEMS Tabulation Database Design Issues in Relation to Voting Systems Certification Standards | Thomas P. Ryan, Candice Hoke |
EVT '07 | An Authentication and Ballot Layout Attack Against an Optical Scan Voting Terminal | Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Sashidar, Andrew See, Alexander A. Shvartsman |
EVT '07 | Ballot Casting Assurance via Voter-Initiated Poll Station Auditing | Josh Benaloh |