DocumentCode
1601415
Title
Civitas: Toward a Secure Voting System
Author
Clarkson, Michael R. ; Chong, Stephen ; Myers, Andrew C.
Author_Institution
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY
fYear
2008
Firstpage
354
Lastpage
368
Abstract
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.
Keywords
government data processing; security of data; Civitas; coercion-resistant; electronic voting system; information-flow security analysis; secure voting system; Costs; Cryptographic protocols; Cryptography; Electronic voting; Electronic voting systems; Government; Information security; National security; Nominations and elections; Privacy; Electronic voting; coercion resistance; cryptographic protocols; secure bulletin boards; verifiable elections; voter registration;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 2008. SP 2008. IEEE Symposium on
Conference_Location
Oakland, CA
ISSN
1081-6011
Print_ISBN
978-0-7695-3168-7
Type
conf
DOI
10.1109/SP.2008.32
Filename
4531164
Link To Document