Civitas: Toward a Secure Voting System

DSpace/Manakin Repository

Civitas: Toward a Secure Voting System

Citable link to this page


Title: Civitas: Toward a Secure Voting System
Author: Clarkson, Michael R.; Chong, Stephen N; Myers, Andrew C.

Note: Order does not necessarily reflect citation order of authors.

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.
Full Text & Related Files:
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.
Published Version: doi:10.1109/SP.2008.32
Other Sources:
Terms of Use: This article is made available under the terms and conditions applicable to Open Access Policy Articles, as set forth at
Citable link to this page:
Downloads of this work:

Show full Dublin Core record

This item appears in the following Collection(s)


Search DASH

Advanced Search