Clarkson, Michael ;
Chong, Stephen ;
Myers, Andrew
Civitas: A Secure Remote Voting System
Abstract
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.
BibTeX - Entry
@InProceedings{clarkson_et_al:DSP:2008:1296,
author = {Michael Clarkson and Stephen Chong and Andrew Myers},
title = {Civitas: A Secure Remote Voting System},
booktitle = {Frontiers of Electronic Voting},
year = {2008},
editor = {David Chaum and Miroslaw Kutylowski and Ronald L. Rivest and Peter Y. A. Ryan },
number = {07311},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1296},
annote = {Keywords: Electronic voting, coercion resistance, voter registration, secure bulletin boards, cryptographic protocols}
}
|
Keywords: |
|
Electronic voting, coercion resistance, voter registration, secure bulletin boards, cryptographic protocols |
|
Seminar: |
|
07311 - Frontiers of Electronic Voting
|
|
Documenttype: |
|
InProceedings |
|
Issue date: |
|
2008 |
|
Date of publication: |
|
15.01.2008 |