Civitas: Toward a Secure Voting System

Michael R. Clarkson
Stephen Chong
Andrew C. Myers

Cornell University

2008 IEEE Symposium on Security and Privacy, Oakland, California, USA


Civitas is the first electronic voting system that is coercion-­resistant, univers­ally and voter verifiable, and suitable for remote voting. This paper describes the design and implement­ation 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.

Full paper (PDF) |  Web site  |   Technical report ]