Abstract is missing.
- An Examination of the Auditability of Voter Verified Paper Audit Trail (VVPAT) BallotsStephen N. Goggin, Michael D. Byrne. [doi]
- Studying the Nedap/Groenendaal ES3B Voting Computer: A Computer Security PerspectiveRop Gonggrijp, Willem-Jan Hengeveld. [doi]
- An Authentication and Ballot Layout Attack Against an Optical Scan Voting TerminalAggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Sashidar, Andrew See, Alexander A. Shvartsman. [doi]
- Casting Votes in the AuditoriumDaniel Sandler, Dan S. Wallach. [doi]
- GEMS Tabulation Database Design Issues in Relation to Voting Systems Certification StandardsThomas P. Ryan, Candice Hoke. [doi]
- Ballot Casting Assurance via Voter-Initiated Poll Station AuditingJosh Benaloh. [doi]
- Security Analysis of the Diebold AccuVote-TS Voting MachineAriel J. Feldman, J. Alex Halderman, Edward W. Felten. [doi]
- Contractual Barriers to Transparency in Electronic VotingJoseph Lorenzo Hall. [doi]
- On Estimating the Size and Confidence of a Statistical AuditJaved A. Aslam, Raluca A. Popa, Ronald L. Rivest. [doi]
- An Analysis of the Hart Intercivic DAU eSlateElliot Proebstel, Sean Riddle, Francis Hsu, Justin Cummins, Freddie Oakley, Tom Stanionis, Matt Bishop. [doi]
- On the Difficulty of Validating Voting Machine Software with SoftwareRyan W. Gardner, Sujata Garera, Aviel D. Rubin. [doi]
- Three Voting Protocols: ThreeBallot, VAV, and TwinWarren D. Smith. [doi]
- Verification-Centric Realization of Electronic Vote CountingJoseph R. Kiniry, Dermot Cochran, Patrick E. Tierney. [doi]
- Extending Prerendered-Interface Voting Software to Support Accessibility and Other Ballot FeaturesKa-Ping Yee. [doi]
- Bare-Handed Electronic Voting with Pre-processingBen Riva, Amnon Ta-Shma. [doi]
- Machine-Assisted Election AuditingJoseph A. Calandrino. [doi]