Building Reliable Voting Machine Software

Building Reliable Voting Machine Software (2007)

Cached

Download Links

by Ka-ping Yee , Ka-ping Yee , Ka-ping Yee

Citations:

BibTeX

@MISC{Yee07buildingreliable,
    author = {Ka-ping Yee and Ka-ping Yee and Ka-ping Yee},
    title = {Building Reliable Voting Machine Software},
    year = {2007}
}

Bookmark

OpenURL

Abstract

Back-Cover Texts. A copy of the license is included in the appendix entitled GNU Free

Citations

1016	Proof-carrying code - Necula - 1997
296	Simplify: a theorem prover for program checking - Detlefs, Nelson, et al.
164	Reflections on trusting trust - Thompson - 1984
105	A Practical Voter-Verifiable Election Scheme - Chaum, Ryan, et al. - 2005
80	High integrity Ada: the Spark approach - Barnes - 1997
76	Attack Trees: Modeling Security Threats - Schneier - 1999
72	Fundamentals of Computer Security - Amoroso - 1994
64	Arguing Safety – A Systematic Approach to Managing Safety Cases - Kelly - 1998
57	ACL2: An industrial strength version of nqthm - Kaufmann, Moore - 1996
57	A Program Verifier - King - 1970
50	Confirmation bias: A ubiquitous phenomenon in many guises - Nickerson - 1998
43	CoercionResistant Electronic Elections - Juels, Catalano, et al. - 2005
43	Robust composition: towards a unified approach to access control and concurrency control - Miller - 2006
27	A trustworthy proof checker - Appel, Michael, et al. - 2002
26	Scratch & Vote: self-contained paperbased cryptographic voting - Adida, Rivest
26	CoercionResistance and Receipt-Freeness in Electronic Voting - Delaune, Kremer, et al. - 2009
24	Three voting protocols: Threeballot, vav, and twin - Rivest, Smith - 2007
23	Punchscan: Introduction and System Definition - Fisher, Carback, et al. - 2006
23	Type Qualifiers: Lightweight Specifications to Improve Software Quality - Foster - 2002
22	A theorem prover for a computational logic - Boyer, Moore - 1990
20	Maximising usability: The Principles of Universal Design - Story - 1998
19	Source code review of the Diebold voting system - CALANDRINO, FELDMAN, et al. - 2007
19	On the notion of “software independence” in voting systems,” http://vote.nist.gov/SI-in-voting.pdf - Rivest, Wack
17	Safety Case Development: Current Practice, Future Prospects - Wilson, Kelly, et al. - 1996
16	The Usability of Electronic Voting Machines and How Votes Can Be Changed Without Detection - Everett - 2007
15	A new monotonic and clone-independent single-winner election method. Voting matters 17.1 - Schulze - 2003
13	Measuring the usability of paper ballots: Efficiency, effectiveness, and satisfaction - Everett, Byrne, et al. - 2006
13	Source code review of the Hart InterCivic voting system. State of California’s Top to Bottom Review - Inguva, Rescorla, et al. - 2007
12	Hacka-vote: Security issues with electronic voting systems - Bannet, Price, et al. - 2004
11	Large-scale analysis of format string vulnerabilities in debian linux - Chen, Wagner
10	Source code review of the Sequoia voting system. State of California’s Top to Bottom Review - Blaze, Cordero, et al. - 2007
10	The Impact of Candidate Name Order on Election Outcomes.” Public Opinion Quarterly 62 - M, Krosnick - 1998
10	An Analysis of the Hart Intercivic DAU eSlate - Proebstel - 2007
10	On the Requirements of HighIntegrity Code Generation - Whalen, Heimdhal - 1999
7	Improving access to voting: A report on the technology for accessible voting systems. Retrieved October 1, 2008 from http://demos.org/pubs/improving_access.pdf United - Runyan - 2007
7	Auditors: An extensible, dynamic code verification mechanism. Available athttp://www.erights.org/elang/ kernel/auditors - Yee, Miller - 2000
5	A Modular Voting Architecture (“Frogs - Bruck, Jefferson, et al. - 2001
5	Making Multicandidate Elections More Democratic - Merrill - 1988
5	Subliminal-Free Data Structures on PROM Storage-or-How to Store Ballots on a Voting Machine (Extended Abstract - TamperEvident - 2006
2	Cast a Vote by Yourself: A Review of Accessible Voting - Burton, Uslan - 2002
2	Raymie Stata (2002). Extended static checking for Java - Flanagan, Leino, et al. - 2002
2	Recommendations for the Conduct of Elections in Miami-Dade County using the ES&S iVotronic System. Available at http://www.cs.uiowa.edu/~jones/voting/miami.pdf (retrieved on December 13 - Jones - 2004
2	Connecting Work on Threat Analysis to the Real World - Jones - 2006
2	Experiences with Sequoia AVC Edge with VeriVote Printer as Precinct Inspector in Santa Clara County. http://gnosis.python-hosting. com/voting-project/June.2006/0081. html - Keller - 2007
2	Coercion-resistance as opacity in voting systems - Peacock, Ryan - 2006
2	Fault Tree Handbook, NUREG-0492. United States Nuclear Regulatory Commission, NASA - Veseley, Goldberg, et al. - 1981
1	Misvotes, Undervotes and Overvotes: The 2000 - Agresti, Presnell - 2002
1	Statement Before the U - Coney - 2004
1	Cousot and Radhia Cousot - Patrick - 1977
1	de Raadt. OpenBSD Security. Available at http://www.openbsd.org/security.html (retrieved on - Theo - 2007