Skip to main content


eCommons@Cornell

eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/7875
Title: Civitas: A Secure Voting System
Authors: Clarkson, Michael R.
Chong, Stephen
Myers, Andrew C.
Keywords: computer information science
technical report
Issue Date: 17-May-2007
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2007-2081
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.
URI: http://hdl.handle.net/1813/7875
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File Description SizeFormat
civitas-tr.pdf349.19 kBAdobe PDFView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us