Skip to main content

Helios Verification: To Alleviate, or to Nominate: Is That the Question, or Shall we Have Both?

  • Conference paper
Electronic Government and the Information Systems Perspective (EGOVIS 2014)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8650))

Abstract

Helios is an end-to-end verifiable remote electronic voting system which has been used for elections in academic contexts. It allows voters to verify that their vote was cast, and included in the final tally, as intended. User studies have shown that voters are unlikely to perform this verification, probably due to the effortful and cumbersome manual steps that are required by the system. To address this challenge, we propose, in this paper, two improvements: the first is to ameliorate the cumbersome nature of the verification process as much as possible. We offer two suggestions for doing this. To accommodate voters who have no interest in verifying, we propose a further improvement: delegation. This will allow voters to nominate a trusted third party to perform the verification on their behalf as and when they cast their vote. Hence no extra effort is required, and we can exploit existing trust in public institutions to provide voters with the assurance that the voting process is indeed honest and above board. In addition to providing end-to-end verifiability in a less effortful manner, we provide stored as cast and tallied as stored verifiability as well, for voters who do not wish to verify their own votes.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Anzahl der Downloads mobiler Apps in Deutschland in den Jahren 2009 bis 2012 (in Millionen) (November 2012), http://de.statista.com/statistik/daten/studie/168038/umfrage/anzahl-der-downloads-mobiler-apps-in-deutschland-seit-2009/ (accessed June 5, 2014)

  2. 2013 Future in Focus - Digitales Deutschland (2013), http://www.comscore.com/Insights/Presentations_and_Whitepapers/2013/2013_Future_in_Focus_Digitales_Deutschland

  3. Adida, B.: Helios: Web-based Open-Audit Voting. In: Proceedings of the 17th Symposium on Security, pp. 335–348. Usenix Association, Berkeley (2008)

    Google Scholar 

  4. Adida, B., De Marneffe, O., Pereira, O., Quisquater, J.J.: Electing A University President using Open-audit Voting: Analysis of Real-world Use of Helios. In: Proceedings of the 2009 Conference on Electronic Voting Technology/Workshop on Trustworthy Elections. USENIX Association (2009)

    Google Scholar 

  5. Ashford, R.: QR Codes and Academic Libraries Reaching Mobile Users. College & Research Libraries News 71(10), 526–530 (2010)

    Article  Google Scholar 

  6. Benaloh, J.: Simple verifiable elections. In: Proceedings of the USENIX/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop - EVT 2006, p. 5 (2006)

    Google Scholar 

  7. Budurushi, J., Woide, M., Volkamer, M.: Introducing Precautionary Behavior by Temporal Diversion of Voter Attention from Casting to Verifying their Vote. In: Workshop on Usable Security, USEC 2014 (2014)

    Google Scholar 

  8. Bulens, P., Giry, D., Pereira, O.: Running Mixnet-based Elections with Helios. In: Proceedings of the 2011 Conference on Electronic Voting Technology/Workshop on Trustworthy Elections, EVT/WOTE 2011, p. 6. USENIX Association, Berkeley (2011)

    Google Scholar 

  9. Canadi, M., Höpken, W., Fuchs, M.: Application Of QR Codes in Online Travel Distribution. In: Information and Communication Technologies in Tourism 2010, pp. 137–148. Springer (2010)

    Google Scholar 

  10. Cohen, S.B.: Auditing Technology for Electronic Voting Machines, Master Thesis. MIT, Media Lab (2005)

    Google Scholar 

  11. Cortier, V., Galindo, D., Glondu, S., Izabachène, M.: Distributed ElGamal á La Pedersen: Application to Helios. In: Proceedings of the 12th ACM Workshop on Privacy in the Electronic Society, WPES 2013, pp. 131–142. ACM (2013)

    Google Scholar 

  12. Dou, X., Li, H.: Creative Use of QR Codes in Consumer Communication. International Journal of Mobile Marketing 3(2) (2008)

    Google Scholar 

  13. Hawkins, D.G.: Delegation and Agency in International Organizations. Cambridge University Press (2006)

    Google Scholar 

  14. Herrnson, P.S., Niemi, R.G., Hanmer, M.J., Francia, P.L., Bederson, B.B., Conrad, F., Traugott, M.: The Promise and Pitfalls of Electronic Voting: Results from a Usability Field Test, http://www.capc.umd.edu/rpts/Promise_and_Pitfalls_of_Electronic_Voting.pdf

  15. International Committee for Information Technology Standards, ISO: Ergonomics of Human-system Interaction – Part 210: Human-centred Design for Interactive Systems (2011)

    Google Scholar 

  16. Karayumak, F., Kauer, M., Olembo, M.M., Volk, T., Volkamer, M.: User Study of the Improved Helios Voting System Interface. In: Proceedings of STAST 2011 (2011)

    Google Scholar 

  17. Karayumak, F., Kauer, M., Olembo, M.M., Volkamer, M.: Usability Analysis of Helios - An Open Source Verifiable Remote Electronic Voting System. In: Proceedings of EVT/WOTE 2011 (2011)

    Google Scholar 

  18. Langer, L., Schmidt, A., Buchmann, J., Volkamer, M.: A Taxonomy Refining the Security Requirements for Electronic Voting: Analyzing Helios as a Proof of Concept. In: International Conference on Availability, Reliability, and Security, ARES 2010, pp. 475–480 (February 2010)

    Google Scholar 

  19. Lenstra, A.K.: Key lengths. In: Handbook of Information Security, ch. 114 (2004)

    Google Scholar 

  20. Olembo, M.M., Renaud, K., Bartsch, S., Volkamer, M.: Voter, What Message Will Motivate You to Verify Your Vote? In: Workshop on Usable Security, USEC 2014 (2014)

    Google Scholar 

  21. Olembo, M.M., Volkamer, M.: A Study to Identify Trusted Verifying Institutes in Germany, TU Darmstadt. Technical Report (2014)

    Google Scholar 

  22. Olembo, M.M., Bartsch, S., Volkamer, M.: Mental Models of Verifiability in Voting. In: Heather, J., Schneider, S., Teague, V. (eds.) Vote-ID 2013. LNCS, vol. 7985, pp. 142–155. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  23. Popoveniuc, S., Clark, J., Carback, R., Essex, A., Chaum, D.: Securing Optical-Scan Voting. 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. 357–369. Springer, Heidelberg (2010), http://dblp.uni-trier.de/db/conf/wote/lncs6000.html#PopoveniucCCEC10

    Chapter  Google Scholar 

  24. Princeton Undergraduate Student Government: The Elections Handbook, http://princetonusg.com/?page_id=975

  25. Schneider, S., Llewellyn, M., Culnane, C., Heather, J., Srinivasan, S., Xia, Z.: Focus Group Views on Prêt à Voter 1.0. In: International Workshop on Requirements Engineering for Electronic Voting Systems, REVOTE 2011 (2011)

    Google Scholar 

  26. Selker, T., Pandolfo, A.: A Methodology for Testing Voting Systems. Journal of Usability Studies 2(1), 7–21 (2006)

    Google Scholar 

  27. Sherman, A.T., Carback, R., Chaum, D., Clark, J., Essex, A., Herrnson, P.S., Mayberry, T., Stefan, P., Rivest, R.L., Shen, E., Sinha, B., Vora, P.: Scantegrity Mock Election at Takoma Park. In: Electronic Voting 2010 (EVOTE 2010), pp. 45–61 (2010)

    Google Scholar 

  28. Tsoukalas, G., Papadimitriou, K., Louridas, P., Tsanakas, P.: From Helios to Zeus. USENIX Journal of Election Technology and Systems (JETS) and Electronic Voting Technology Workshop/Workshop on Trustworthy Elections, EVT/WOTE 2013 pp. 1–17 (2013)

    Google Scholar 

  29. Volkamer, M., Vogt, R.: New Generation of Voting Machines in Germany The Hamburg Way to Verify Correctness. In: Frontiers in Electronic Elections - FEE 2006 (2006)

    Google Scholar 

  30. Weber, J., Hengartner, U.: Usability Study of the Open Audit Voting System Helios (2009), http://www.jannaweber.com/wp-content/uploads/2009/09/858Helios.pdf (accessed June 5, 2014)

  31. Zimmermann, P.R.: PGPfone: Pretty Good Privacy Phone Owner’s Manual (1995), http://web.mit.edu/network/pgpfone/manual

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Neumann, S., Olembo, M.M., Renaud, K., Volkamer, M. (2014). Helios Verification: To Alleviate, or to Nominate: Is That the Question, or Shall we Have Both?. In: Kő, A., Francesconi, E. (eds) Electronic Government and the Information Systems Perspective. EGOVIS 2014. Lecture Notes in Computer Science, vol 8650. Springer, Cham. https://doi.org/10.1007/978-3-319-10178-1_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-10178-1_20

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-10177-4

  • Online ISBN: 978-3-319-10178-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics