Publication: Civitas: Toward a Secure Voting System
Open/View Files
Date
2008
Published Version
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of Electrical and Electronics Engineers
The Harvard community has made this article openly available. Please share how this access benefits you.
Citation
Clarkson, Michael R., Stephen Chong, Andrew C. Myers. 2008. Civitas: Toward a secure voting system. In Proceedings of the IEEE Symposium on Security and Privacy: May 18-21, 2008, Oakland, California, 354-368. Los Alamitos, California: IEEE Computer Society.
Research Data
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.
Description
Other Available Sources
Keywords
coercion resistance, cryptographic protocols, secure bulletin boards, verifiable elections, voter registration, electronic voting
Terms of Use
This article is made available under the terms and conditions applicable to Open Access Policy Articles (OAP), as set forth at Terms of Service