Civitas: Toward a Secure Voting System

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Michael R. Clarkson Articles by Stephen Chong Articles by Andrew C. Myers

2008 IEEE Symposium on Security and Privacy (sp 2008)

May 18-May 21

ISBN: 978-0-7695-3168-7

	ASCII Text	x
	Michael R. Clarkson, Stephen Chong, Andrew C. Myers, "Civitas: Toward a Secure Voting System," Security and Privacy, IEEE Symposium on, pp. 354-368, 2008 IEEE Symposium on Security and Privacy (sp 2008), 2008.

	BibTex	x
	@article{ 10.1109/SP.2008.32, author = {Michael R. Clarkson and Stephen Chong and Andrew C. Myers}, title = {Civitas: Toward a Secure Voting System}, journal ={Security and Privacy, IEEE Symposium on}, volume = {0}, year = {2008}, isbn = {978-0-7695-3168-7}, pages = {354-368}, doi = {http://doi.ieeecomputersociety.org/10.1109/SP.2008.32}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Security and Privacy, IEEE Symposium on TI - Civitas: Toward a Secure Voting System SN - 978-0-7695-3168-7 SP354 EP368 A1 - Michael R. Clarkson, A1 - Stephen Chong, A1 - Andrew C. Myers, PY - 2008 KW - Electronic voting KW - verifiable elections KW - coercion resistance KW - voter registration KW - cryptographic protocols KW - secure bulletin boards VL - 0 JA - Security and Privacy, IEEE Symposium on ER -

Michael R. Clarkson

Stephen Chong

Andrew C. Myers

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SP.2008.32

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.

Index Terms:

Electronic voting, verifiable elections, coercion resistance, voter registration, cryptographic protocols, secure bulletin boards

Citation:

Michael R. Clarkson, Stephen Chong, Andrew C. Myers, "Civitas: Toward a Secure Voting System," sp, pp.354-368, 2008 IEEE Symposium on Security and Privacy (sp 2008), 2008

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.