Civitas: Toward a Secure Voting System

By Michael R. Clarkson, Stephen Chong, A. Myers. IEEE Symposium on Security and Privacy, 2008

461 citations recorded by the source corpus.

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.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/e0a27ec30dd03423add836c00c0b7863aa64c046

Citations in the corpus

• Dissent in Numbers: Making Strong Anonymity Scale (2012, unknown): “Finally, anonymity plays other well-established roles in modern societies, such as in voting [2, 19, 44] and auctions [52].”