Current developers
Michael Clarkson
Stephen Chong
Andrew Myers
Support
Development and maintenance of the Civitas system has been supported by NSF grant 0430161, and by TRUST (supported by NSF, AFOSR, and industrial partners).
Civitas
A secure voting system
Civitas is a new, secure voting system. Civitas is the first voting system implementation that allows voters to vote securely from the remote client of their choice, while provably providing universal verifiability, voter verifiability, anonymity, and coercion resistance. Civitas scales up to a large number of voters, with a low marginal computational cost per voter.
The Civitas source code is not yet available, but we intend to release it in May 2008.
Related publications
-
Civitas: Toward a Secure Voting System
Michael R. Clarkson, Stephen Chong, Andrew C. Myers. IEEE Symposium on Security and Privacy. To appear, May 2008.
Full version available as Cornell University Computing and Information Science Technical Report 2007-2081, http://hdl.handle.net/1813/7875, May 2007, revised August 2007, November 2007, May 2008.