Casting votes in the auditorium

EVT 2007 - 2007 USENIX/ACCURATE Electronic Voting Technology Workshop

Volumn , Issue , 2007, Pages

  Sandler, Daniel ^a   Wallach, Dan S ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUDITORIUMS; DISTRIBUTED DATABASE SYSTEMS; NETWORK SECURITY; TURING MACHINES; VOTING MACHINES;

AUDIT TRAILS; BROADCAST NETWORKS; DISTRIBUTED SYSTEMS; EQUIPMENT FAILURES; HASH CHAINING; MALICIOUS ATTACK; SECURE LOGGINGS; VOTING SYSTEMS;

ELECTRONIC VOTING;

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

References (45)

1. ADIDA, B., AND WIKSTR¨OM, D. How to shuffle in public. In Theory of Cryptography, Proceedings of TCC 2007 (February 2007), Lecture Notes in Computer Science, Springer-Verlag, pp. 555–574.
2. ARBAUGH, W. A., FARBER, D. J., AND SMITH, J. M. A secure and reliable bootstrap architecture. In Proceedings of the 1997 IEEE Symposium on Security and Privacy (Oakland, CA, May 1997).
3. BAUDRON, O., FOUQUE, P.-A., POINTCHEVAL, D., STERN, J., AND POUPARD, G. Practical multi-candidate election system. In PODC ’01: Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing (Newport, RI, 2001), pp. 274–283.
4. BEDERSON, B. B., LEE, B., SHERMAN, R. M., HERRNSON, P. S., AND NIEMI, R. G. Electronic voting system usability issues. In CHI ’03: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (Ft. Lauderdale, FL, 2003), pp. 145–152.
5. BELLARE, M., AND YEE, B. Forward integrity for secure audit logs. Tech. rep., UC at San Diego, Dept. of Computer Science and Engineering, Nov. 1997.
6. BENALOH, J. Simple verifiable elections. In USENIX/ACCURATE Electronic Voting Technology Workshop (Vancouver, B.C., Canada, June 2006).
7. BENALOH, J., AND YUNG, M. Distributing the power of a government to enhance the privacy of voters. In 5th ACM Symposium on Principles of Distributed Computing (PODC) (Calgary, Alberta, Canada, 1986), pp. 52–62.
8. BETHENCOURT, J., BONEH, D., ANDWATERS, B. Cryptographic methods for storing ballots on a voting machine. In 14th Network and Distributed System Security Symposium (NDSS) (San Diego, CA, Feb. 2007).
9. BitLocker Drive Encryption: Technical Overview, Apr. 2006. http://www.microsoft.com/technet/windowsvista/security/bittech.mspx.
10. BRACE, K. W., AND MCDONALD, M. P. Final Report of the 2004 Election Day Survey. Submitted to the U.S. Election Assistance Commission, Sept. 2005. http://www.eac.gov/election survey 2004/toc.htm.
11. BRENNAN CENTER TASK FORCE ON VOTING SYSTEM SECURITY. The Machinery of Democracy: Protecting Elections in an Electronic World, June 2006. http://www.brennancenter.org/dynamic/subpages/download file 36343.pdf. [12] CHAUM, D. Untraceable electronic mail, return addresses and digital pseudo-nyms. Communications of the ACM 24, 2 (1981), 84–88.
12. CHAUM, D. Secret-ballot receipts: True voter-verifiable elections. IEEE Security & Privacy 2, 1 (Jan. 2004), 38–47.
13. CHAUM, D., RYAN, P. Y. A., AND SCHNEIDER, S. A. A practical, voter-verifiable election scheme. In ESORICS ’05 (Milan, Italy, 2005), pp. 118–139.
14. COHEN (BENALOH), J., AND FISCHER, M. A robust and verifiable cryptographically secure election scheme. In 28th IEEE Symposium on Foundations of Computer Science (FOCS) (Portland, OR, 1985), pp. 372–382.
15. EVERETT, S. P. The Usability of Electronic Voting Machines and How Votes Can Be Changed Without Detection. PhD thesis, Rice University, Houston, TX, 2007.
16. EVERETT, S. P., BYRNE, M. D., AND GREENE, K. K. Measuring the usability of paper ballots: Efficiency, effectiveness, and satisfaction. In Proceedings of the Human Factors and Ergonomics Society 50th Annual Meeting (Santa Monica, CA, 2006).
17. FELDMAN, A. J., HALDERMAN, J. A., AND FELTEN, E. W. Security analysis of the Diebold AccuVote-TS voting machine. In Proceedings of the 2nd USENIX/ACCURATE Electronic Voting Technology Workshop (Boston, MA, Aug. 2007).
18. GONGGRIJP, R., AND HENGEVELD, W.-J. Studying the Nedap/Groenendaal ES3B Voting Computer: A computer security perspective. In Proceedings of the 2nd USENIX/ACCURATE Electronic Voting Technology Workshop (Boston, MA, Aug. 2007).
19. GREENE, K. K., BYRNE, M. D., AND EVERETT, S. P. A comparison of usability between voting methods. In USENIX/ACCURATE Electronic Voting Technology Workshop (Vancouver, B.C., Canada, 2006).
20. HURSTI, H. Critical security issues with Diebold TSx. Tech. rep., Black Box Voting, May 2006. http://www.blackboxvoting.org/BBVtsxstudy.pdf.
21. KOHNO, T., STUBBLEFIELD, A., RUBIN, A. D., AND WALLACH, D. S. Analysis of an electronic voting system. In Proc. of IEEE Symposium on Security & Privacy (Oakland, CA, 2004).
22. LAMPORT, L. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (1978), 558–565.
23. MANIATIS, P., AND BAKER, M. Secure history preservation through timeline entanglement. In Proceedings of the 11th USENIX Security Symposium (San Francisco, CA, Aug. 2002).
24. MARCHESINI, J., SMITH, S., WILD, O., AND MACDONALD, R. Experimenting with TCPA/TCG Hardware, Or: How I Learned to Stop Worrying and Love The Bear. Tech. Rep. TR2003-476, Department of Computer Science, Dartmouth College, Dec. 2003.
25. MOLNAR, D., KOHNO, T., SASTRY, N., AND WAGNER, D. Tamperevident, history-independent, subliminal-free data structures on PROM storage -or- How to store ballots on a voting machine (extended abstract). In IEEE Symposium on Security and Privacy (Oakland, CA, May 2006).
26. NEFF, C. A. A verifiable secret shuffle and its application to evoting. In CCS ’01: Proceedings of the 8th ACM Conference on Computer and Communications Security (Philadelphia, PA, 2001), pp. 116–125.
27. POPE JOHN PAUL II. Universi Dominici Gregis: On the vacancy of the Apostolic See and the election of the Roman Pontiff. Chapter V: The Election Procedure, Feb. 1996.
28. RABA TECHNOLOGIES. Trusted Agent Report: Diebold AccuVote-TS Voting System. Columbia, MD, Jan. 2004. http://www.raba.com/press/TA Report AccuVote.pdf.
29. RIVEST, R. L. The ThreeBallot voting system. http://theory.csail.mit.edu/rivest/Rivest-TheThreeBallotVotingSystem.pdf, Oct. 2006.
30. ROHDE, D. On New Voting Machine, the Same Old Fraud. The New York Times (April 27, 2004). http://www.nytimes.com/2004/04/27/international/asia/27indi.html.
31. SAKO, K., AND KILIAN, J. Secure voting using partially compatible homomorphisms. In CRYPTO ’94: Proceedings of the 14th Annual International Cryptology Conference on Advances in Cryptology (London, UK, 1994), Springer-Verlag, pp. 411–424.
32. SASTRY, N., KOHNO, T., AND WAGNER, D. Designing voting machines for verification. In Proceedings of the 15th USENIX Security Symposium (Vancouver, B.C., Canada, Aug. 2006).
33. SCHNEIER, B. Hacking the papal election, April 14, 2005. http://schneier.com/blog/archives/2005/04/hacking the pap.html.
34. SCHNEIER, B., AND KELSEY, J. Cryptographic support for secure logs on untrusted machines. In USENIX Security Symposium (San Antonio, TX, Jan. 1998), pp. 53–62.
35. SESHADRI, A., LUK, M., PERRIG, A., VAN DOORN, L., AND KHOSLA, P. Externally verifiable code execution. Communications of the ACM 49, 9 (Sept. 2006), 45–49.
36. SESHADRI, A., LUK, M., SHI, E., PERRIG, A., VAN DOORN, L., AND KHOSLA, P. Pioneer: Verifying code integrity and enforcing untampered code execution on legacy systems. In ACM Symposium on Operating Systems Principles (SOSP 2005) (Brighton, U.K., Dec. 2005).
37. SHAMIR, A. How to share a secret. Communications of the ACM 22, 11 (1979), 612–613.
38. STEIN, R. M., AND VONNAHME, G. Election day vote centers and voter turnout. Prepared for presentation at the 2006 Annual Meetings of the Midwest Political Science Association, Apr. 2006.
39. TRUSTED COMPUTING GROUP. TPM v1.2 Specification Changes, Oct. 2003. https://www.trustedcomputinggroup.org/downloads/ TPM 1 2 Changes final.pdf.
40. WAGNER, D., JEFFERSON, D., BISHOP, M., KARLOF, C., AND SASTRY, N. Security analysis of the Diebold AccuBasic interpreter. California Secretary of State’s Voting Systems Technology Assessment Advisory Board (VSTAAB), Feb. 2006. http://www.ss.ca.gov/elections/voting systems/security analysis of the diebold accubasic interpreter.pdf.
41. WALLACH, D. S. Security and Reliability ofWebb County’s ES&S Voting System and the March ’06 Primary Election. Expert Report in Flores v. Lopez, http://accurate-voting.org/wp-content/uploads/2006/09/webb-report2.pdf, May 2006.
42. YASINSAC, A.,WAGNER, D., BISHOP, M., BAKER, T., DEMEDEIROS, B., TYSON, G., SHAMOS, M., AND BURMESTER, M. Software Review and Security Analysis of the ES&S iVotronic 8.0.1.2 Voting Machine Firmware. Florida State University, Tallahassee, FL, Feb. 2007. http://election.dos.state.fl.us/pdf/FinalAudRepSAIT.pdf.
43. YEE, K.-P., WAGNER, D., HEARST, M., AND BELLOVIN, S. M. Prerendered user interfaces for higher-assurance electronic voting. In USENIX/ACCURATE Electronic Voting Technology Workshop (Vancouver, B.C., Canada, 2006).
44. YUMEREFENDI, A. R., AND CHASE, J. S. Strong accountability for network storage. In Proceedings of the 5th USENIX Conference on File and Storage Technologies (FAST ’07) (San Jose, CA, Feb. 2007), pp. 77—92.
45. ZETTER, K. E-voting undermined by sloppiness. Wired News (Dec. 17, 2003). http://wired.com/news/politics/evote/0,61637-0. html.