Abstract is missing.
- Modeling and Analysis of Procedural Security in (e)Voting: The Trentino s Approach and ExperiencesKomminist Weldemariam, Adolfo Villafiorita. [doi]
- The Case for Networked Remote Voting PrecinctsDaniel Sandler, Dan S. Wallach. [doi]
- Analysis, Improvement, and Simplification of Prêt à Voter with Paillier EncryptionZhe Xia, Steve A. Schneider, James Heather, Jacques Traoré. [doi]
- On Auditing Elections When Precincts Have Different SizesJaved A. Aslam, Raluca A. Popa, Ronald L. Rivest. [doi]
- Systemic Issues in the Hart InterCivic and Premier Voting Systems: Reflections on Project EVERESTKevin R. B. Butler, William Enck, Harri Hursti, Stephen McLaughlin, Patrick Traynor, Patrick McDaniel. [doi]
- Comparing the Auditability of Optical Scan, Voter Verified Paper Audit Trail (VVPAT) and Video (VVVAT) Ballot SystemsStephen N. Goggin, Michael D. Byrne, Juan E. Gilbert, Gregory Rogers, Jerome McClendon. [doi]
- You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting SystemsJ. Alex Halderman, Eric Rescorla, Hovav Shacham, David Wagner. [doi]
- Coercion-Resistant Tallying for STV VotingVanessa Teague, Kim Ramchen, Lee Naish. [doi]
- Improving the Security, Transparency, and Efficiency of California s 1 Manual Tally ProceduresJoseph Lorenzo Hall. [doi]
- Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory CardsSeda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman. [doi]
- Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation CodesDavid Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman. [doi]
- Security Evaluation of ES&S Voting Machines and Election Management SystemAdam Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze. [doi]
- In Defense of Pseudorandom Sample SelectionJoseph A. Calandrino, J. Alex Halderman, Edward W. Felten. [doi]
- Administrative and Public Verifiability: Can We Have Both?Josh Benaloh. [doi]
- Replayable Voting Machine Audit LogsArel Cordero, David Wagner. [doi]