2026-07-23T21:03:31Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1296 2024-03-06T11:07:38Z ddc:004 open_access

Civitas: A Secure Remote Voting System Clarkson, Michael Chong, Stephen Myers, Andrew Electronic voting coercion resistance voter registration secure bulletin boards cryptographic protocols Civitas is the first implementation of a coercion-resistant, universally verifiable, remote voting scheme. This paper describes the design of Civitas, details the cryptographic protocols used in its construction, and illustrates how language-enforced information-flow security policies yield assurance in the implementation. The performance of Civitas scales well in the number of voters and offers reasonable tradeoffs between time, cost, and security. These results suggest that secure electronic voting is achievable. The name of this system as presented at Dagstuhl was CIVS. In August 2007, the name was changed to Civitas. For more information, see the Civitas website at http://www.cs.cornell.edu/projects/civitas. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Michael Clarkson and Stephen Chong and Andrew Myers 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 7311, Frontiers of Electronic Voting (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07311.5 urn:nbn:de:0030-drops-12960 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07311.5 eng https://creativecommons.org/licenses/by/4.0/legalcode