Civitas: Toward a secure voting system

Civitas: Toward a secure voting system (2008)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Michael R. Clarkson , Stephen Chong , Andrew C. Myers

Venue:	In IEEE Symposium on Security and Privacy
Citations:	26 - 4 self

BibTeX

@INPROCEEDINGS{Clarkson08civitas:toward,
    author = {Michael R. Clarkson and Stephen Chong and Andrew C. Myers},
    title = {Civitas: Toward a secure voting system},
    booktitle = {In IEEE Symposium on Security and Privacy},
    year = {2008},
    pages = {354--368},
    publisher = {IEEE}
}

Bookmark

OpenURL

Abstract

Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and implementation of Civitas. Assurance is established in the design through security proofs, and in the implementation through information-flow security analysis. Experimental results give a quantitative evaluation of the tradeoffs between time, cost, and security. 1.

Citations

1130	Random oracles are practical: A paradigm for designing efficient protocols - Bellare, Rogaway - 1993
1023	Untraceable electronic mail, return addresses, and digital pseudonyms - Chaum - 1981
706	A.: How to prove yourself: Practical solutions to identification and signature problems - Fiat, Shamir - 1986
523	Tor: The secondgeneration onion router - Dingledine, Mathewson, et al.
512	Efficient signature generation for smart cards - Schnorr - 1991
476	Practical Byzantine fault tolerance - Castro, Liskov - 1999
446	An Integrated Experimental Environment for Distributed Systems and Networks - White, Lepreau, et al. - 2002
441	Public-Key Cryptosystems Based on Composite Degree Residuosity Classes, EUROCRYPT - Paillier - 1999
425	How to play any mental game, or a completeness theorem for protocols with honest majority - Goldreich, Micali, et al. - 1987
379	Jflow: practical mostly-static information flow control - Myers - 1999
267	Wallet databases with observers - Chaum, Pedersen - 1993
253	A public-key cryptosystem and a signature scheme based on discrete logarithms - Gamal - 1985
229	Efficient group signature schemes for large groups - Camenisch, Stadler - 1997
191	A practical secret voting scheme for large scale elections - Fujioka, Okamoto, et al. - 1992
187	An attack on the Needham-Schroeder public-key authentication protocol - Lowe - 1995
181	Protecting privacy using the decentralized label model - MYERS, LISKOV - 2000
180	A Secure and Optimally Efficient Multi-Authority Election Scheme - Cramer, Gennaro, et al. - 1997
174	Receipt-free secret-ballot elections - Benaloh, Tuinstra - 1994
140	Building diverse computer systems - Forrest, Somayaji, et al. - 1997
130	Analysis of an electronic voting system - Kohno, Stubblefield, et al. - 2004
126	A type-based approach to program security - Volpano, Smith - 1997
113	Designated verifier proofs and their applications - Jakobsson, Sako, et al. - 1996
112	N-version programming: A fault-tolerance approach to reliability of software operation - Chen, Avizienis - 1977
98	Making Mix Nets Robust for Electronic Voting by Randomized Partial Checking," presented at the USENIX Security Symposium - Jakobsson, Juels, et al. - 2002
95	Jif: Java information flow. Software release. Located at http://www.cs.cornell.edu/jif - Myers, Zheng, et al. - 2001
93	Efficient receipt-free voting based on homomorphic encryption - Hirt, Sako - 2000
82	Multi-authority secret ballot elections with linear work - Cramer, Franklin, et al. - 1996
64	Abhijeet Joglekar. An integrated experimental environment for distributed systems and networks - White, Lepreau, et al. - 2002
62	Practical Multi-Candidate Election System - Baudron, Fouque, et al. - 2001
61	Receipt-Free Electronic Voting Schemes for Large Scale Elections - Okamoto - 1998
60	Mix and match: Secure function evaluation via ciphertexts - Jakobsson, Juels - 2000
53	Cryptographic Voting Protocols: A Systems Perspective - Karlof, Sastry, et al. - 2005
52	Secure Voting Using Partially Compatible Homomorphisms - Sako, Kilian - 1994
50	Avi Wigderson. How to play any mental game or a completeness theorem for protocols with honest majority - Goldreich, Micali - 1987
47	Sensus: A security-conscious electronic polling system for the internet - Cranor, Cytron - 1997
43	CoercionResistant Electronic Elections - Juels, Catalano, et al. - 2005
36	Security of Signed ElGamal Encryption - Schnorr, Jakobsson - 2000
33	Voting procedures, in - Brams, Fishburn - 2002
29	An introduction to Punchscan - Popoveniuc, Hosp - 2006
29	Security Considerations for Remote Electronic Voting - Rubin - 2002
27	Advances in Cryptographic Voting Systems - Adida - 2006
26	CoercionResistance and Receipt-Freeness in Electronic Voting - Delaune, Kremer, et al. - 2009
25	Language-based information erasure - Chong, Myers - 2005
24	Prêt à voter with re-encryption mixes - Ryan, Schneider - 2006
23	A Security Analysis of the Secure Electronic Registration and Voting Experiment (SERVE - Jefferson, Rubin, et al. - 2004
22	Analyzing Internet voting security - Jefferson, Rubin, et al. - 2004
20	Secure electronic voting over the world wide web - Herschberg - 1997
19	Why textbook ElGamal and RSA encryption are insecure - Boneh, Joux, et al. - 2000
18	An Improvement on a practical secret voting scheme - Ohkubo, Miura, et al. - 1999
16	Receipt-freeness in largescale elections without untappable channels - Magkos, Burmester, et al. - 2001