Dispute resolution in accessible voting systems: the design and use of audiotegrity

Authors:
Tyler Kaczmarek;John Wittrock;Richard Carback;Alex Florescu;Jan Rubio;Noel Runyan;Poorvi L. Vora;Filip Zagórski
Affiliations:
Department of Computer Science, The George Washington University;Department of Computer Science, The George Washington University;Network and Information Concepts Group, Charles Stark Draper Laboratories;Department of Computer Science, The George Washington University;Department of Computer Science, The George Washington University;Personal Data Systems;Department of Computer Science, The George Washington University;Institute of Mathematics and Computer Science, Wroclaw University of Technology, Poland
Venue:
Vote-ID'13 Proceedings of the 4th international conference on E-Voting and Identity
Year:
2013

Citing 13
Cited 0

Self-tallying Elections and Perfect Ballot Secrecy

PKC '02 Proceedings of the 5th International Workshop on Practice and Theory in Public Key Cryptosystems: Public Key Cryptography
Electronic vote tabulation checks and balances

Electronic vote tabulation checks and balances
Prime III: a user centered voting system

CHI '07 Extended Abstracts on Human Factors in Computing Systems
Simple verifiable elections

EVT'06 Proceedings of the USENIX/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop
Advances in cryptographic voting systems

Advances in cryptographic voting systems
Accessible Voter-Verifiability

Cryptologia
Scantegrity II: end-to-end verifiability by voters of optical scan elections through confirmation codes

IEEE Transactions on Information Forensics and Security - Special issue on electronic voting
Accountability: definition and relationship to verifiability

Proceedings of the 17th ACM conference on Computer and communications security
Scantegrity II municipal election at Takoma Park: the first E2E binding governmental election with ballot privacy

USENIX Security'10 Proceedings of the 19th USENIX conference on Security
A practical voter-verifiable election scheme

ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
Attacking paper-based e2e voting systems

Towards Trustworthy Elections
Using Prêt à Voter in Victorian state elections

EVT/WOTE'12 Proceedings of the 2012 international conference on Electronic Voting Technology/Workshop on Trustworthy Elections
Paperless independently-verifiable voting

VoteID'11 Proceedings of the Third international conference on E-Voting and Identity

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe in detail dispute resolution problems with cryptographic voting systems that do not produce a paper record of the unencrypted vote. With these in mind, we describe the design and use of Audiotegrity--a cryptographic voting protocol and corresponding voting system with some of the accessibility benefits of fully-electronic voting systems and some of the dispute resolution properties of paper-ballot-based systems. We also describe subtle issues with coercion-resistance if accessible systems are not well-designed. Audiotegrity was designed in response to a request by Takoma Park election officials, tested in a public test organized by the city in June 2011, and used in its municipal election in November 2011. We are not aware of any other precinct-based end-to-end independently-verifiable election for public office where the protocol enabled participation by voters with visual disabilities.