17. USENIX Security Symposium 2008: San Jose, California, USA - EVT

Auditing and Tallying Session I

• Javed A. Aslam, Raluca A. Popa, Ronald L. Rivest:
  On Auditing Elections When Precincts Have Different Sizes.
  Electronic Edition (link) BibTeX
• Arel Cordero, David Wagner:
  Replayable Voting Machine Audit Logs.
  Electronic Edition (link) BibTeX
• Joseph A. Calandrino, J. Alex Halderman, Edward W. Felten:
  In Defense of Pseudorandom Sample Selection.
  Electronic Edition (link) BibTeX

New Directions and Reflections on Old Directions

• J. Alex Halderman, Eric Rescorla, Hovav Shacham, David Wagner:
  You Go to Elections with the Voting System You Have: Stop-Gap Mitigations for Deployed Voting Systems.
  Electronic Edition (link) BibTeX
• Josh Benaloh:
  Administrative and Public Verifiability: Can We Have Both?
  Electronic Edition (link) BibTeX
• Daniel Sandler, Dan S. Wallach:
  The Case for Networked Remote Voting Precincts.
  Electronic Edition (link) BibTeX

Auditing and Tallying Session II

• Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha Shashidhar, Alexander A. Shvartsman:
  Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards.
  Electronic Edition (link) BibTeX
• Joseph Lorenzo Hall:
  Improving the Security, Transparency, and Efficiency of California's 1% Manual Tally Procedures.
  Electronic Edition (link) BibTeX
• Stephen N. Goggin, Michael D. Byrne, Juan E. Gilbert, Gregory Rogers, Jerome McClendon:
  Comparing the Auditability of Optical Scan, Voter Verified Paper Audit Trail (VVPAT) and Video (VVVAT) Ballot Systems.
  Electronic Edition (link) BibTeX

Conventional E-Voting Systems

• Komminist Weldemariam, Adolfo Villafiorita:
  Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences.
  Electronic Edition (link) BibTeX
• Adam Aviv, Pavol Cerný, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, Matt Blaze:
  Security Evaluation of ES&S Voting Machines and Election Management System.
  Electronic Edition (link) BibTeX
• Kevin R. B. Butler, William Enck, Harri Hursti, Stephen McLaughlin, Patrick Traynor, Patrick McDaniel:
  Systemic Issues in the Hart InterCivic and Premier Voting Systems: Reflections on Project EVEREST.
  Electronic Edition (link) BibTeX

Cryptographic Voting Systems

• Zhe Xia, Steve A. Schneider, James Heather, Jacques Traoré:
  Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption.
  Electronic Edition (link) BibTeX
• David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman:
  Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes.
  Electronic Edition (link) BibTeX
• Vanessa Teague, Kim Ramchen, Lee Naish:
  Coercion-Resistant Tallying for STV Voting.
  Electronic Edition (link) BibTeX