Sciweavers

Share
SP
2008
IEEE

Civitas: Toward a Secure Voting System

8 years 8 months ago
Civitas: Toward a Secure Voting System
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.
Michael R. Clarkson, Stephen Chong, Andrew C. Myer
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where SP
Authors Michael R. Clarkson, Stephen Chong, Andrew C. Myers
Comments (0)
books