Advertisement

Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity

  • Tyler Kaczmarek
  • John Wittrock
  • Richard Carback
  • Alex Florescu
  • Jan Rubio
  • Noel Runyan
  • Poorvi L. Vora
  • Filip Zagórski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7985)

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.

Keywords

end-to-end voting systems accessible dispute resolution 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Accessible voting without computers, http://www.vote-pad.us/
  2. 2.
    Adida, B.: Advances in Cryptographic Voting Systems. PhD thesis. MIT (2006)Google Scholar
  3. 3.
    Benaloh, J.: Simple verifiable elections. In: EVT (2006)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Brossard, J.: Hardware backdooring is practical. In: DEFCON (2012)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Popoveniuc, S., Chaum, D., Hosp, B., Vora, P.L.: Accessible voter verifiability. Cryptologia 33(3), 283–291 (2009)CrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Fresolone, M.: Tactile ballots alternative voting method for the blind, http://www.votersunite.org/info/tactileballots.asp
  14. 14.
    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)Google Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    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)CrossRefGoogle Scholar
  17. 17.
    Kiser, M.: Internet voting 2.0 and other advances in election technology in takoma park. FairVote Blog (June 9, 2011)Google Scholar
  18. 18.
    Küsters, R., Truderung, T., Vogt, A.: Accountability: Definition and Relationship to Verifiability. In: ACM CCS (2010)Google Scholar
  19. 19.
    Mercuri, R.: Electronic Vote Tabulation Checks and Balances. PhD thesis, University of Pennsylvania, Philadelphia, PA (October 2000)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    Saltman, R.G.: Effective use of computer technology in vote-tallying. Technical report, NIST (1975)Google Scholar
  22. 22.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Tyler Kaczmarek
    • 1
  • John Wittrock
    • 1
  • Richard Carback
    • 2
  • Alex Florescu
    • 1
  • Jan Rubio
    • 1
  • Noel Runyan
    • 3
  • Poorvi L. Vora
    • 1
  • Filip Zagórski
    • 4
  1. 1.Department of Computer ScienceThe George Washington UniversityUSA
  2. 2.Network and Information Concepts GroupCharles Stark Draper LaboratoriesUSA
  3. 3.Personal Data SystemsUSA
  4. 4.Institute of Mathematics and Computer ScienceWroclaw University of TechnologyPoland

Personalised recommendations