Civitas: Toward a Secure Voting System
Top Cited Papers
- 1 May 2008
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10816011,p. 354-368
- https://doi.org/10.1109/sp.2008.32
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.Keywords
This publication has 26 references indexed in Scilit:
- Coercion-Resistance and Receipt-Freeness in Electronic VotingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Efficient and Verifiable Shuffling and Shuffle-DecryptionIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2005
- Analyzing internet voting securityCommunications of the ACM, 2004
- Hack-a-vote: security issues with electronic voting systemsIEEE Security & Privacy, 2004
- Election security: perception and realityIEEE Security & Privacy, 2004
- Voting and technologyCommunications of the ACM, 2003
- Building diverse computer systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Practical multi-candidate election systemPublished by Association for Computing Machinery (ACM) ,2001
- Random oracles are practicalPublished by Association for Computing Machinery (ACM) ,1993
- Efficient signature generation by smart cardsJournal of Cryptology, 1991