Formalising receipt-freeness

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4176 LNCS, Issue , 2006, Pages 476-488

  Jonker, H L ^a   De Vink, E P ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

eGovernment; Formal methods; Online voting schemes; Receipt freeness

Indexed keywords

COMPUTER SCIENCE; NUMBER THEORY; PROBLEM SOLVING;

RECEIPT-FREE VOTING PROTOCOLS; RECEIPT-FREENESS;

NETWORK PROTOCOLS;

EID: 33750257357     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11836810_34     Document Type: Conference Paper

References (18)

1. R. Aditya, B. Lee, C. Boyd, and E. Dawson. An efficient mixnet-based voting scheme providing receipt-freeness. In S. Katsikas, J. Lopez, and G. Pernul, editors, TrustBus2004, volume 3184 of LNCS, pages 152-161. Springer, 2004.
2. O. Baudron, P.-A. Fouque, D. Pointcheval, J. Stern, and G. Poupard. Practical multi-candidate election system. In PODC, pages 274-283, Newport, Rhode Island, 2001.
3. J. Benaloh and D. Tuinstra. Receipt-free secret-ballot elections (extended abstract). In STOC'94, pages 544-553. ACM, 1994. Montreal, Canada.
4. D. Chaum. Secret-ballot receipts: True voter-verifiable elections. IEEE Security and Privacy, 02(1):38-47, 2004.
5. R. Cramer, M.K. Franklin, B. Schoenmakers, and M. Yung. Multi-autority secret-ballot elections with linear work. In U.M. Maurer, editor, EUROCRYPT'96, volume 1070 of LNCS, pages 72-83. Springer, 1996.
6. R. Cramer, R. Gennaro, and B. Schoenmakers. A secure and optimally efficient multi-authority election scheme. In W.Fumy, editor, EUROCRYPT'97, volume 1233 of LNCS, pages 103-118. Springer, 1997.
7. L.F. Cranor and R.K. Cytron. Sensus: A security-conscious electronic polling system for the internet. In HICSS '97, page 561. IEEE, 1997. Maui, Hawaii.
8. S. Delaune, S. Kremer, and M.D. Ryan. Receipt-freeness: Formal definition and fault attacks (extended abstract). In Proceedings of the Workshop Frontiers in Electronic Elections (FEE 2005), Milan, Italy, September 2005.
9. A. Fujioka, T. Okamoto, and K. Ohta. A practical secret voting scheme for large scale elections. In J. Seberry and Y. Zheng, editors, ASIACRYPT'92, volume 718 of LNCS, pages 244-251, 1992. Gold Coast, Australia.
10. D. Gritzalis. Principles and requirements for a secure e-voting system. Computers & Security, 21:539-556, 2002.
11. M. Hirt and K. Sako. Efficient receipt-free voting based on homomorphic encryption. In Bart Preneel, editor, EUROCRYPT '00, volume 1807 of LNCS, pages 539-556. Springer, May 2000.
12. E. Hubbers, B. Jacobs, and W. Pieters. RIES - internet voting in action. In R. Bilof, editor, COMPSAC'05, pages 417-424. IEEE, 2005.
13. M. Jakobsson, K. Sako, and R. Impagliazzo. Designated verifier proofs and their applications. In U.M. Maurer, editor, EUROCRYPT'96, volume 1070 of LNCS, pages 143-154. Springer, 1996.
14. A. Juels, D. Catalano, and M. Jakobsson. Coercion-resistant electronic elections. In V. Atluri, S. De Capitani di Vimercati, and R. Dingledine, editors, WPES'05, pages 61-70. ACM, 2005.
15. C. Lambrinoudakis, D. Gritzalis, V. Tsoumas, M. Karyda, and S. Ikonomopoulos. Secure electronic voting: the current landscape. In D. Gritzalis, editor, Secure Electronic Voting, volume 7 of Advances in Information Security, pages 101-122. Kluwer, 2003.
16. B. Lee, C. Boyd, E. Dawson, K. Kim, J. Yang, and S. Yoo. Providing receipt-freeness in mixnet-based voting protocols. In J.I. Lim and D.H. Lee, editors, ICISC'03, volume 2971 of LNCS, pages 245-258, 2003.
17. E. Magkos, M. Burmester, and V. Chrissikopoulos. Receipt-freeness in large-scale elections without untappable channels. In B. Schmid, K. Stanoevska-Slabeva, and V. Tschammer, editors, I3E'01, volume 202 of IFIP conference proceedings, pages 683-694. Kluwer, 2001.
18. K. Sako and J. Kilian. Receipt-free mix-type voting scheme - a practical solution to the implementation of a voting booth. In L.C. Guillou and J.-J. Quisquater, editors, EUROCRYPT'95, volume 921 of LNCS, pages 393-403. Springer, 1995.