Electing a university president using open-audit voting: Analysis of real-world use of helios

EVT/WOTE 2009 - 2009 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections

Volumn , Issue , 2009, Pages

  Adida, Ben ^a   de Marneffe, Olivier ^b   Pereira, Olivier ^b   Quisquater, Jean Jacques ^b  

^a HARVARD UNIVERSITY   (United States)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

DENIAL-OF-SERVICE ATTACK; VOTING MACHINES;

AUDITING PROCESS; REAL-WORLD; VOTING SYSTEMS; WEB BASED;

ELECTRONIC VOTING;

EID: 85087275968     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. Moheeb Abu Rajab, Jay Zarfoss, Fabian Monrose, and Andreas Terzis. A multifaceted approach to understanding the botnet phenomenon. In IMC'06: Proceedings of the 6th ACM SIGCOMM conference on Internet measurement, pages 41-52, New York, NY, USA, 2006. ACM.
2. Ben Adida. Helios: web-based open-audit voting. In SS'08: Proceedings of the 17th conference on Security symposium, pages 335-348, Berkeley, CA, USA, 2008. USENIX Association.
3. Ben Adida and C. Andrew Neff. Ballot Casting Assurance. In EVT'06 [11]. Available online at http://www.usenix.org/events/evt06/tech/.
4. Olivier Baudron, Pierre-Alain Fouque, David Pointcheval, Jacques Stern, and Guillaume Poupard. Practical multi-candidate election system. In PODC, pages 274-283. ACM, ACM, 2001.
5. Josh Benaloh. Simple Verifiable Elections. In EVT'06 [11]. Available online at http://www.usenix.org/events/evt06/tech/.
6. Josh Benaloh. Ballot Casting Assurance via Voter-Initiated Poll Station Auditing. In EVT'07, Proceedings of the Second Usenix/ACCURATE Electronic Voting Technology Workshop, August 6th 2007, Boston, MA, USA., 2007. Available online at http://www.usenix.org/events/evt07/tech/.
7. David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, and Alan T. Sherman. Scantegrity ii: end-to-end verifiability for optical scan election systems using invisible ink confirmation codes. In EVT'08: Proceedings of the conference on Electronic voting technology, pages 1-13, Berkeley, CA, USA, 2008. USENIX Association.
8. David Chaum, Peter Y. A. Ryan, and Steve A. Schneider. A practical voter-verifiable election scheme. In Sabrina De Capitani di Vimercati, Paul F. Syverson, and Dieter Gollmann, editors, ESORICS, volume 3679 of Lecture Notes in Computer Science, pages 118-139. Springer, 2005.
9. Josh D. Cohen and Michael J. Fischer. A robust and verifiable cryptographically secure election scheme. In FOCS, pages 372-382. IEEE Computer Society, 1985.
10. Ronald Cramer, Ivan Damgård, and Berry Schoenmakers. Proofs of partial knowledge and simplified design of witness hiding protocols. In CRYPTO'94: Proceedings of the 14th Annual International Cryptology Conference on Advances in Cryptology, pages 174-187, London, UK, 1994. Springer-Verlag.
11. EVT'06, Proceedings of the First Usenix/ACCURATE Electronic Voting Technology Workshop, August 1st 2006, Vancouver, BC,Canada., 2006. Available online at http://www.usenix.org/events/evt06/tech/.
12. Taher El Gamal. A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms. IEEE Trans. Inform. Theory, 31:469-472, 1985.
13. Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, and Tal Rabin. Secure distributed key generation for discrete-log based cryptosystems. J. Cryptology, 20(1):51-83, 2007.
14. GNU Multiple Precision Arithmetic Library. http://gmplib.org, last viewed on April 14th, 2009.
15. R. Canetti H. Krawczyk, M. Bellare. Hmac: Keyed-hashing for message authentication, February 1997. http://tools.ietf.org/html/rfc2104.
16. David Jefferson, Aviel D. Rubin, Barbara Simons, and David Wagner. A security analysis of the secure electronic registration and voting experiment (SERVE). http://www.servesecurityreport.org/, January 2004.
17. Ari Juels, Dario Catalano, and Markus Jakobsson. Coercion-resistant electronic elections. In Vijay Atluri, Sabrina De Capitani di Vimercati, and Roger Dingledine, editors, WPES, pages 61-70. ACM, 2005.
18. Aggelos Kiayias, Michael Korman, and David Walluck. An internet voting system supporting user privacy. In ACSAC'06: Proceedings of the 22nd Annual Computer Security Applications Conference, pages 165-174, Washington, DC, USA, 2006. IEEE Computer Society.
19. Mark Atwood et al. OAuth Core 1.0. http://oauth.net/core/1.0/, last viewed on April 14th, 2009.
20. Pascal Paillier. Public-key cryptosystems based on composite degree residuosity classes. In J. Stern, editor, Advances in Cryptology - EUROCRYPT'99, number 1592 in LNCS, pages 223-238. Springer, May 1999.
21. Torben P. Pedersen. A threshold cryptosystem without a trusted party (extended abstract). In Donald W. Davies, editor, EUROCRYPT, volume 547 of Lecture Notes in Computer Science, pages 522-526. Springer, 1991.
22. Kazue Sako and Joe Kilian. Receipt-free mix-type voting scheme - a practical solution to the implementation of a voting booth. In EUROCRYPT, pages 393-403, 1995.
23. D. Shanks. Class number, a theory of factorization and genera. Proc. Symposia in Pure Mathematics, 20:415-440, 1971.
24. The Django Project. http://djangoproject.com, last viewed on April 14th, 2009.
25. The PostgreSQL Database. http://postgresql.org, last viewed on April 14th, 2009.
26. Guido van Rossum. The Python Programming Language. http://python.org, last viewed on January 30th, 2008.