|
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
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
