Coercion-resistance and receipt-freeness in electronic voting

Proceedings of the Computer Security Foundations Workshop

Volumn 2006, Issue , 2006, Pages 28-39

  Delaune, Stéphanie ^a   Kremer, Steve ^b   Ryan, Mark ^c  

^a ORANGE LABS   (France)

^b INRIA   (France)

^c UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PRIVACY; ELECTRONIC CRIME COUNTERMEASURES; INTERACTIVE COMPUTER SYSTEMS;

ELECTION PROTOCOL; ELECTRONIC VOTING; VOTING PROTOCOLS;

NETWORK PROTOCOLS;

EID: 33947622187     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2006.8     Document Type: Conference Paper

References (18)

1. M. Abadi, B. Blanchet, and C. Fournet. Just fast keying in the pi calculus. In Proc. 13th European Symposium On Programming (ESOP'04), volume 2986 of LNCS, pages 340-354, Barcelona, Spain, 2004. Springer.
2. M. Abadi and C. Fournet. Mobile values, new names, and secure communication. In Proc. 28th ACM Symposium on Principles of Programming Languages (POPL'01), pages 104-115, London, UK, 2001. ACM.
3. J. Benaloh. Verifiable Secret Ballot Elections. PhD thesis, Yale University, 1987.
4. J. Benaloh and D. Tuinstra. Receipt-free secret-ballot elections (extended abstract). In Proc. 26th Annual Symposium on Theory of Computing (STOC'94), pages 544-553, Montréal, Québec, 1994. ACM Press.
5. B. Blanchet. ProVerif: Automatic Cryptographic Protocol Verifier User Manual, 2005.
6. D. Chaum. Elections with unconditionally-secret ballots and disruption equivalent to breaking RSA. In Proc. of Advances in Cryptology (Eurocrypt'88), volume 330 of LNCS, pages 177-182, Davos, Switzerland, 1988. Springer.
7. D. Chaum, P. Y. A. Ryan, and S. Schneider. A practical, voter-verifiable election scheme. In Proc. 10th European Symposium On Research In Computer Security (ESORICS'05), volume 3679 of LNCS, pages 118-139, Milan, Italy, 2005. Springer.
8. S. Delaune, S. Kremer, and M. D. Ryan. Coercion-resistance and receipt-freeness in electronic voting. Research Report LSV-06-08, Laboratoire Spécification et Vérification, ENS Cachan, France, Apr. 2006. 17 pages.
9. C. Fournet and M. Abadi. Hiding names: Private authentication in the applied pi calculus. In Proc. of Int. Symposium on Software Security (ISSS'02), volume 2609 of LNCS, pages 317-338, Tokyo, Japan, 2003. Springer.
10. A. Fujioka, T. Okamoto, and K. Ohta. A practical secret voting scheme for large scale elections. In Proc. of Advances in Cryptology (Asiacrypt'92), volume 718 of LNCS, pages 244-251, Gold Coast, Queensland, Australia, 1992. Springer.
11. M. Hirt and K. Sako. Efficient receipt-free voting based on homomorphic encryption. In Proc. of Advances in Cryptography (Eurocrypt'00), volume 1807 of LNCS, pages 539-556, Bruges, Belgium, 2000. Springer.
12. W.-S. Juang and C.-L. Lei. A secure and practical electronic voting scheme for real world environments. IEICE Transaction on Fundamentals of Electronics, Communications and Computer Science, 1:64-71, 1997.
13. A. Juels, D. Catalano, and M. Jakobsson. Coercion-resistant electronic elections. In Proc. of Workshop on Privacy in the Electronic Society (WPES'05), Alexandria, USA, 2005. ACM Press.
14. S. Kremer and M. D. Ryan. Analysis of an electronic voting protocol in the applied pi-calculus. In Proc. 14th European Symposium On Programming (ESOP'05), volume 3444 of LNCS, pages 186-200, Edinburgh, U.K., 2005. Springer.
15. B. Lee, C. Boyd, E. Dawson, K. Kim, J. Yang, and S. Yoo. Providing receipt-freeness in mixnet-based voting protocols. In Proc. of Information Security and Cryptology (ICISC'03), volume 2971 of LNCS, pages 245-258, Seoul, Korea, 2004. Springer.
16. T. Okamoto. An electronic voting scheme. In IFIP World Conference on IT Tools, pages 21-30, Canberra, Australia, 1996.
17. T. Okamoto. Receipt-free electronic voting schemes for large scale elections. In Proc. 5th Int. Security Protocols Workshop, volume 1361 of LNCS, pages 25-35, Paris, France, 1997. Springer.
18. S. Schneider and A. Sidiropoulos. CSP and anonymity. In Proc. 4th European Symposium On Research In Computer Security (ESORICS'96), volume 1146 of LNCS, pages 198-218, Roma, Italy, 1996. Springer.