Towards secure online elections: Models, primitives and open issues

Electronic Government

Volumn 4, Issue 3, 2007, Pages 249-268

  Magkos, Emmanouil ^a   Kotzanikolaou, Panayiotis ^b   Douligeris, Christos ^b  

^a Ionian University   (Greece)

^b UNIVERSITY OF PIRAEUS   (Greece)

Author keywords

Cryptography; E democracy; E government; Implementation issues; Internet voting; Online elections; Organisational issues; Security

Indexed keywords

EID: 34548035130     PISSN: 17407494     EISSN: 17407508     Source Type: Journal    
DOI: 10.1504/EG.2007.014161     Document Type: Article

References (69)

1. Abe, M. (1998) 'Universally verifiable mix-net with verification work independent of the number of mix-centers', Proceedings of the Advances in Cryptology - EUROCRYPT'98, Springer-Verlag, LNCS, Vol. 1403, pp.437-447.
2. Acquisti, A. (2004) 'Receipt-free homomorphic elections and write-in ballots', Tech. Rep. 2004/105, CMU-ISRI-04-116, Carnegie Mellon.
3. Aditya, R., Lee, B., Boyd, C. and Dawson, E. (2004) 'An efficient mixnet-based voting scheme providing receipt-freeness', Proceedings of the 1st Trustbus 2004, Springer-Verlag, LNCS, Vol. 3184, pp. 152-161.
4. Anonymizer (1995) http://www.anonymizer.com.
5. Baudron, O., Fouque, P., Pointcheval, D., Poupard, G. and Stern, J. (2001) 'Practical multi-candidate election system', Proc. of the 20th ACM Symposium on Principles of Distributed Computing, ACM Press, pp.274-283.
6. Benaloh, J. (1987) 'Verifiable secret ballot elections', PhD thesis, Yale University.
7. Benaloh, J. and Tuinstra, D. (1994) 'Receipt-free secret-ballot elections', Proceedings of the 26th Annual ACM Symposium on Theory of Computing, ACM Press, pp.544-553.
8. Burmester, M. and Desmedt, Y. (1991) 'All languages in Np have divertible zero-knowledge proofs and arguments under cryptographic assumptions', Proceedings of the Advances in Cryptology - EUROCRYPT'90, Springer-Verlag, LNCS, Vol. 473, pp. 1-10.
9. Burmester, M. and Magkos, E. (2003) 'Towards secure and practical e-elections in the new era', Advances in Information Security - Secure Electronic Voting, Kluwer Academic Publishers, pp.63-76.
10. Canetti, R., Dwork, C., Naor, M. and Ostrovsky, R. (1997) 'Deniable encryption', Proceedings of the Advances in Cryptology - CRYPTO'97, Springer-Verlag, LNCS, Vol. 1294, pp.90-104.
11. Chaum, D. (1981) 'Untraceable electronic mail, return addresses, and digital pseudonyms', Commun. ACM, Vol. 24, No. 2, pp.84-88.
12. Chaum, D. (1982) 'Blind signatures for untraceable payments', Proceedings of the Advances in Cryptology - CRYPTO'82, Plenum Press, pp.199-203.
13. Chaum, D. (1988) 'Elections with unconditionally secret ballots and disruption equivalent to breaking RSA', Proceedings of the Advances in Cryptology - EUROCRYPT'88, Springer-Verlag, LNCS, Vol. 330, pp.177-182.
14. Chaum, D. (2004) 'Secret-ballot receipts: true voter-verifiable elections', Security and Privacy, IEEE, Vol. 2, No. 1, pp.38-47.
15. Commission on Electronic Voting (2006) 'Second report on the secrecy, accuracy and testing of the chosen electronic voting system', http://www.cev.ie/htm/report/downloadsecond.htm.
16. Cramer, R., Franklin, M., Schoenmakers, B. and Yung, M. (1996) 'Multi-authority secret-ballot elections with linear work', Proceedings of the Advances in Cryptology - EUROCRYPT'96, Springer-Verlag, LNCS, Vol. 1070, pp.72-83.
17. Cramer, R., Gennaro, R. and Schoenmakers, B. (1997) 'A secure and optimally efficient multi-authority election scheme, European Trans. on Telecommunications, Vol. 8, No. 5, pp.481-490.
18. Cranor, L. and Cytron, R. (1997) 'Sensus: a security-conscious electronic polling system for the internet', Proceedings of the International Conference on System Sciences, Wailea, Hawaii.
19. Cybervote (2003) 'The Cybervote project'. http://www.Eucybervote.Org/.
20. Daingard, I., Jurik, M. and Nielsen, J. (2003) 'A generalization of Paillier's public-key system with applications to electronic voting', Manuscript, www.daimi.au.dk/~ivan/GenPaillier_finaljour.ps.
21. Danezis, G. (2004) 'Better anonymous communications', PhD thesis, University of Cambridge.
22. Danezis, G., Dingledine, R. and Mathewson, N. (2003) 'Mixminion: design of a type III anonymous remailer protocol', Proceedings of the IEEE Symposium on Security and Privacy. IEEE.
23. Delaune, S., Kremer, S. and Ryan, M. (2005) 'Receipt-freeness: formal definition and fault attacks', (extended abstract), Proceedings of the Frontiers in Electronic Elections Workshop (FEE'05), IEEE, Milan, Italy.
24. Demillo, R., Lynch, N. and Merritt, M. (1982) 'Cryptographic protocols', Proceedings of the 14th Annual ACM Symposium on Theory of Computing, ACM, pp.383-400.
25. Desmedt, Y. (1994) 'Threshold cryptography', European Transactions on Telecommunications, Vol. 5, No. 4, pp.449-457.
26. Durette, B.W. (1999) 'Multiple administrators for electronic voting', MS thesis, Massachusetts Institute of Technology.
27. ElGamal, T. (1985) 'A public key cryptosystem and a signature scheme based on discrete logarithms', IEEE Trans. on Information Theory, Vol. 30, No. 4, pp.469-472.
28. Electoral Commission (2003) 'Technical Report on the May 2003 pilots', http://www.electoralcommission.org.uk/files/dms/ Copyofcoverandreport-final_11369-8944_E_N_S_W_.pdf.
29. EU-IST (2004) 'E-vote: an internet based electronic voting system, legal and regulatory issues on e-voting and data protection in Europe', EU-IST-200-29518 (D.3.4.).
30. Fairweather, B. (2005) 'Interfaces for electronic voting: focus group evidence', Electronic Government, an International Journal, Vol. 2, No. 4, pp.369-383.
31. Fujioka, A., Okamoto, T. and Ohta, K. (1992) 'A practical secret voting scheme for large scale elections', Proceedings of the Advances in Cryptology - AUSCRYPT'92, LNCS, Springer-Verlag, Vol. 718, pp.244-251.
32. Furukawa, J. (2004) 'Efficient, verifiable shuffle decryption and its requirement of unlinkability', Proceedings of the Public Key Cryptography (PKC'04), LNCS, Springer-Verlag, Vol. 2947, pp.319-332.
33. Goldreich, O., Micali, S. and Widgerson, A. (1991) 'Proofs that yield nothing but their validity, or all languages in NP have zero-knowledge proof systems', Journ. of the ACM, Vol. 38, pp.691-729.
34. Goldreich, O., Micali, S. and Wigderson, A. (1986) 'Proofs that yield nothing but their validity and a methodology of cryptographic protocol design', Proceedings of the 27th Annual Symposium on Foundations of Computer Science, IEEE, pp.174-187.
35. Goldschlag, D., Reed, M. and Syverson, P. (1999) 'Onion routing for anonymous and private communications', Commun. of the ACM, Vol. 42, No. 2, pp.39-41.
36. Golle, P., Jakobsson, M., Juels, A. and Syverson, P. (2004) 'Universal re-encryption for mixnets', T. Okamoto (Ed.) Proceedings of the RSA Conference Cryptographers Track '04, LNCS, Springer-Verlag, Vol. 2964, pp.163-178.
37. Groth, J. and Salomonsen, G. (2004) 'Strong privacy protection in electronic voting', BRICS Report Series - RS-04-13-2004, BRICS.
38. Herschberg, M. (1997) 'Secure electronic voting using the World Wide Web', MS thesis, MIT.
39. Hirt, M. and Sako, K. (2000) 'Efficient receipt-free voting based on homomorphic encryption', Proceedings of the Advances in Cryptology - EUROCRYPT'00, Springer-Verlag, LNCS, Vol. 1807, pp.539-556.
40. Houston, A., Yao, Y., Okoli, C. and Watson, E. (2005) 'Will remote electronic voting systems increase participation?', Electronic Government, an International Journal, Vol. 2, No. 3, pp.353-368.
41. Jakobsson, M. (1999) 'Flash mixing', Proceeding of the PODC'99, IEEE, pp.83-89.
42. Jakobsson, M., Juels, A. and Rivest, R. (2002) 'Making mix nets robust for electronic voting by randomized partial checking', Proceedings of the 11th USENIX Security Symposium, IEEE, pp.339-353.
43. Jakobsson, M., Sako, K. and Impagliazzo, R. (1996) 'Designated verifier proofs and their applications', Proceedings of the Advances in Cryptology - EUROCRYPT'96, Springer-Verlag, LNCS, Vol. 1070, pp.143-154.
44. Joaquim, R., Zuquette, A. and Ferreira, P. (2003) 'REVS - a robust electronic voting systems', Proceedings of the IADIS'03 International Conference of e- Society, pp.95-103.
45. Juels, A., Catalano, D. and Jakobsson, M. (2002) Coercion-Resistant Electronic Elections, Cryptology ePrint Archive 165.
46. Katz, J., Myers, S. and Ostrovskyo, R. (2001) 'Cryptographic counters and applications to electronic voting', Proceedings of the Advances in Cryptology - EUROCRYPT'01, Springer-Verlag, LNCS, Vol. 2045, pp.78-92.
47. Kiayias, A. and Yung, M. (2004) 'The vector-ballot e-voting approach', Proceedings of the Financial Cryptography - FC'04, Springer-Verlag, LNCS, Vol. 3110, pp.72-89.
48. Kohno, T., Stubblefield, A., Rubin, A.D. and Wallach, D.S. (2004) 'Analysis of an electronic voting system', Proceedings of the IEEE Symposium on Security and Privacy. IEEE.
49. Lebre, R., Joaquim, R., Zquete, A. and Ferreira, P. (2004) 'Internet voting: improving resistance to malicious servers in REVS', Proceedings of the International Conference on Applied Computing - IADIS'04.
50. Lee, B. and Kim, K. (2002) 'Receipt-free electronic voting scheme with a tamper-resistant randomizer', Proceedings of the ICISC'02, Springer-Verlag, LNCS, Vol. 2587, pp.389-406.
51. Lucent (2001) 'Lucent personalized web assistant', http://www.belllabs.com/projects/lpwa.
52. Magkos, E., Burmester, M. and Chrissikopoulos, V. (2001) 'Receipt-freeness in large-scale elections without untappable channels', Proceedings of the 1st IFIP Conference on E-Commerce, E-Business and E-Government, Kluwer Academic Publishers, pp.683-693.
53. Neff, A. (2001) 'A verifiable secret shuffle and its application to e-voting', Proceedings of the 8th Computer and Communications Security Conference, Philadelphia: ACM.
54. Neumann, P.G. (1993) 'Security criteria for electronic voting', Proceedings of the 6th National Computer Security Conference, IEEE.
55. Nevo, S. and Kim, H. (2006) 'How to compare and analyse risks of internet voting versus other modes of voting', Electronic Government, an International Journal, Vol. 3, No. 1, pp.105-112.
56. Nguyen, L., Safavi-Naini, R. and Kurosawa, K. (2004) 'Verifiable shuffles: a formal model and a Paillier-based efficient construction with provable security', Proceedings of the ACNS04, Springer-Verlag, LNCS, Vol. 3089, pp.236-247.
57. Ogata, W., Kurosawa, K., Sako, K. and Takatani, K. (1997) 'Fault tolerant anonymous channel', Proceedings of the 1st International Conference on Information and Communications Security - ICICS, Springer-Verlag, LNCS, Vol. 1334, pp.440-444.
58. Ohkubo, M., Miura, F., Abe, M., Fujioka, A. and Okamoto, T. (1999) 'An improvement on a practical secret voting scheme', Proceedings of the Information Security Conference - IS'99, Springer-Verlag, LNCS, Vol. 1729, pp.225-234.
59. Okamoto, T. (1997) 'Receipt-free electronic voting schemes for large scale elections', Proceedings of the 5th Security Protocols Workshop, Springer-Verlag, LNCS, Vol. 1163, pp. 125-132.
60. Paillier, P. (1999) 'Public key cryptosystems based on discrete logarithms residues', Proceedings of the Advances in Cryptology - EUROCRYPT'99, Springer-Verlag, LNCS, Vol. 1592.
61. Prosser, A., Krimmer, R., Kofler, R. and Unger, M.K. (2005) 'The role of election commission in electronic voting', Proceedings of the 38th International Conference on System Sciences, Waikoloa, Big Island, Hawaii.
62. Reiter, M. (1995) 'The Rampart toolkit for building high-integrity services', Proceedings of the International Conference on Theory and Practice in Distributed Systems, Springer-Verlag, LNCS, Vol. 938, pp.99-110.
63. Reiter, M.K. and Rubin, A.D. (1998) 'Crowds: anonymity for web transactions', ACM Trans. on Information and Systems Security, Vol. 1, No. 1, pp.66-92.
64. Rubin, A. (2004) 'Security considerations for remote electronic voting over the internet', Tech. Rep., AT&T Labs, http://avirubin.com/ evoting.security.html.
65. Schoenmakers, B. (1999) 'A simple publicly verifiable secret sharing scheme and its application to electronic voting', Proceedings of the Advances in Cryptology - CRYPTO'99, Vol. 1666.
66. Shields, C. and Levine, B.N. (2000) 'A protocol for anonymous communication over the internet', S. Jajodia (Ed.) Proceedings of the 7th ACM Conf. on Computer and Communication Security, Athens, Greece: ACM, pp.33-42.
67. Ting, P. and Hung, P. (2004) 'A small-scale voting protocol hiding vote-counts of all candidates', Cryptology ePrint Archive 355.
68. VoteHere (2003) 'The VoteHere system', http://www.votehere.net.
69. Xenakis, A. and Macintosh, A. (2005) 'E-electoral administration: organizational lessons learned from the deployment of e-voting in the UK', Proceedings of the 2005 National Conference on Digital Government Research, pp.191-197.