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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Accessible voting without computers, http://www.vote-pad.us/
Adida, B.: Advances in Cryptographic Voting Systems. PhD thesis. MIT (2006)
Benaloh, J.: Simple verifiable elections. In: EVT (2006)
Benaloh, J., Byrne, M., Kortum, P.T., McBurnett, N., Pereira, O., Stark, P.B., Wallach, D.S.: STAR-Vote: A secure, transparent, auditable, and reliable voting system. CoRR, abs/1211.1904 (2012)
Brossard, J.: Hardware backdooring is practical. In: DEFCON (2012)
Burton, C., Culnane, C., Heather, J., Peacock, T., Ryan, P.Y.A., Schneider, S., Teague, V., Wen, R., Xia, Z.(J.), Srinivasan, S.: Using Pret a Voter in Victoria State Elections. In: EVT/WOTE (2012)
Carback, R., Chaum, D., Clark, J., Essex, A., Mayberry, T., Popoveniuc, S., Rivest, R.L., Shen, E., Sherman, A.T., Vora, P.L.: Scantegrity II Municipal Election at Takoma Park: The First E2E Binding Governmental Election with Ballot Privacy. In: USENIX Security Symposium (2010)
Chaum, D., Carback, R., Clark, J., Essex, A., Popoveniuc, S., Rivest, R.L., Ryan, P.Y.A., Shen, E., Sherman, A.T., Vora, P.L.: Scantegrity II: end-to-end verifiability by voters of optical scan elections through confirmation codes. IEEE Transactions on Information Forensics and Security 4(4), 611–627 (2009)
Chaum, D., Florescu, A., Nandi, M., Popoveniuc, S., Rubio, J., Vora, P.L., Zagórski, F.: Paperless independently-verifiable voting. In: Kiayias, A., Lipmaa, H. (eds.) VoteID 2011. LNCS, vol. 7187, pp. 140–157. Springer, Heidelberg (2012)
Chaum, D., Ryan, P.Y.A., Schneider, S.: A practical voter-verifiable election scheme. In: De Capitani di Vimercati, S., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 118–139. Springer, Heidelberg (2005)
Popoveniuc, S., Chaum, D., Hosp, B., Vora, P.L.: Accessible voter verifiability. Cryptologia 33(3), 283–291 (2009)
Vincent Cross II, E., McMillian, Y., Gupta, P., Williams, P., Nobles, K., Gilbert, J.E.: Prime III: a user centered voting system. In: CHI 2007 Extended Abstracts on Human Factors in Computing Systems (2007)
Fresolone, M.: Tactile ballots alternative voting method for the blind, http://www.votersunite.org/info/tactileballots.asp
Carback III, R.T., Popoveniuc, S., Sherman, A.T., Chaum, D.: Punchscan with independent ballot sheets: Simplifying ballot printing and distribution with independently selected ballot halves. In: WOTE (2007)
Kelsey, J., Regenscheid, A., Moran, T., Chaum, D.: Attacking paper-based E2E voting systems. In: Chaum, D., Jakobsson, M., Rivest, R.L., Ryan, P.Y.A., Benaloh, J., Kutylowski, M., Adida, B. (eds.) Towards Trustworthy Elections. LNCS, vol. 6000, pp. 370–387. Springer, Heidelberg (2010)
Kiayias, A., Yung, M.: Self-tallying elections and perfect ballot secrecy. In: Naccache, D., Paillier, P. (eds.) PKC 2002. LNCS, vol. 2274, pp. 141–158. Springer, Heidelberg (2002)
Kiser, M.: Internet voting 2.0 and other advances in election technology in takoma park. FairVote Blog (June 9, 2011)
Küsters, R., Truderung, T., Vogt, A.: Accountability: Definition and Relationship to Verifiability. In: ACM CCS (2010)
Mercuri, R.: Electronic Vote Tabulation Checks and Balances. PhD thesis, University of Pennsylvania, Philadelphia, PA (October 2000)
Ryan, P.Y.A.: A variant of the Chaum voter-verifiable scheme. Technical Report 864, School of Computing Science, University of Newcastle upon Tyne (2004)
Saltman, R.G.: Effective use of computer technology in vote-tallying. Technical report, NIST (1975)
Technical Guidelines Development Committee, Election Assistance Commission. Voluntary voting system guidelines 1.1 (2007), http://www.eac.gov/assets/1/AssetManager/VVSG_Version_1-1_Volume_1_-_20090527.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kaczmarek, T. et al. (2013). Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity. In: Heather, J., Schneider, S., Teague, V. (eds) E-Voting and Identify. Vote-ID 2013. Lecture Notes in Computer Science, vol 7985. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39185-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-39185-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39184-2
Online ISBN: 978-3-642-39185-9
eBook Packages: Computer ScienceComputer Science (R0)