Civitas: A Secure Voting System
dc.contributor.author | Clarkson, Michael R. | en_US |
dc.contributor.author | Chong, Stephen | en_US |
dc.contributor.author | Myers, Andrew C. | en_US |
dc.date.accessioned | 2007-07-05T18:16:50Z | |
dc.date.available | 2007-07-05T18:16:50Z | |
dc.date.issued | 2007-05-17 | en_US |
dc.description.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. | en_US |
dc.format.extent | 306969 bytes | |
dc.format.mimetype | application/pdf | |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2007-2081 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/7875 | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer information science | en_US |
dc.subject | technical report | en_US |
dc.title | Civitas: A Secure Voting System | en_US |
dc.type | technical report | en_US |
Files
Original bundle
1 - 1 of 1