Show simple item record

dc.contributor.authorClarkson, Michael R.en_US
dc.contributor.authorChong, Stephenen_US
dc.contributor.authorMyers, Andrew C.en_US
dc.date.accessioned2007-07-05T18:16:50Z
dc.date.available2007-07-05T18:16:50Z
dc.date.issued2007-05-17en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2007-2081en_US
dc.identifier.urihttps://hdl.handle.net/1813/7875
dc.description.abstractCivitas 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.extent306969 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer information scienceen_US
dc.subjecttechnical reporten_US
dc.titleCivitas: A Secure Voting Systemen_US
dc.typetechnical reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics