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.
Related publications
- Civitas: Toward a Secure Voting System. [PDF][slides]
In Proc. IEEE Symposium on Security and Privacy, pages 354-368, May 2008. Michael R. Clarkson, Stephen Chong, Andrew C. Myers.
Full version available as Computing and Information Science Technical Report, http://hdl.handle.net/1813/7875, Cornell University, May 2007, revised May 2008 [PDF]. - Civitas: Implementation of a Threshold Cryptosystem. [PDF]
Computing and Information Science Technical Report, http://hdl.handle.net/1813/11661, Cornell University, December 2008. Adam M. Davis, Dmitri Chmelev, Michael R. Clarkson.