Civitas: A Secure Remote Voting System

Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic protocols used in its construction, and illustrates how language-enforced information-flow security policies yield assurance in the implementation. The performance of Civitas scales well in the number of voters and offers reasonable tradeoffs between time, cost, and security. These results suggest that secure electronic voting is achievable.

• Type: Conference
• Year: 2007
• Where: DAGSTUHL
• Authors: Michael E. Clarkson, Stephen Chong, Andrew C. Myers
• Keywords: Civitas, Civitas Scales, DAGSTUHL 2007, Remote Voting Scheme, Software Engineering