This file was created with JabRef 1.6.
Encoding: Cp1252

@INPROCEEDINGS{McG04,
  author = {Margaret McGaley and Joe McCarthy},
  title = {{Transparency and e-Voting: Democratic vs. Commercial Interests.}},
  booktitle = {{Electronic Voting in Europe - Technology, Law, Politics and Society}},
  year = {2004},
  pages = {153 - 163},
  month = {July},
  organization = {European Science Foundation},
  crossref = {DBLP:conf/evoting/2004},
}

@INPROCEEDINGS{Oost04,
  author = {Anne-Marie Oostveen and Peter Van den Besselaar},
  title = {{Security as Belief: User's Perceptions on the Security of E-Voting Systems}},
  booktitle = {Electronic Voting in Europe},
  year = {2004},
  pages = {73-82},
  crossref = {DBLP:conf/evoting/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}

@MISC{CaltechReport,
  author = {Stephen Ansolabehere},
  title = {Prepared Remarks for The House Science Committee},
  howpublished = {http://www.house.gov/science/full/may22/ansol.htm},
}

@TECHREPORT{Barr05,
  author = {Earl Barr and Matt Bishop and Dimitri DeFigueiredo and Mark Gondree and Patrick Wheeler},
  title = {Toward Clarifying Election Systems Standards},
  institution = {Department of Computer Science University of California at Davis},
  year = {2005},
  number = {CSE-2005-21},
  month = {September},
  owner = {mmcgaley},
  url = {http://www.cs.ucdavis.edu/research/tech-reports/2005/CSE-2005-20.pdf},
}

@INPROCEEDINGS{BenYun86,
  author = {Benaloh, J. and Yung, M.},
  title = {Distributing the power of a government to enhance the privacy of the voters},
  booktitle = {ACM Symp. On Principles of Distributed Computing, , 52-62},
  year = {1986},
}

@MISC{CEVapp2j,
  author = {Dr. Kenneth Benoit},
  title = {Experience with Voting Overseas},
  howpublished = {Appendix 2J to the first report of Ireland's Commission on Electronic Voting},
  month = {December},
  year = {2004},
  owner = {mmcgaley},
  url = {http://www.cev.ie/htm/report/first_report/pdf/Appendix%202J.pdf},
}

@INBOOK{BramsFish91,
  chapter = {Alternative Voting Systems},
  pages = {23-31.},
  title = {Political Pareties and Elections in the United States: An Encyclopedia},
  publisher = {New York: Garland},
  year = {1991},
  editor = {L. Sandy Maisel},
  author = {Steven J. Brams and Peter C. Fishburn},
  volume = {1},
  note = {short paper comparing STV, Borda, Cumulative voting, ADV, approval voting. Very much in favour of approval voting},
  url = {http://www.cev.ie/htm/report/first_report/pdf/Appendix%202K.pdf},
}

@ARTICLE{IT04,
  author = {Mark Brennock},
  title = {Cabinet to press ahead on e-voting in {EU} and local polls},
  journal = {The Irish Times},
  year = {2004},
  month = {February 25th},
  owner = {mmcgaley},
}

@BOOK{Brooks75,
  title = {The Mythical Man-Month --- Essays on Software Engineering},
  publisher = {Addison-Wesley Publishing Company},
  year = {1975},
  author = {Brooks, Jr, Frederick P.},
  isbn = {0201006502},
}

@INPROCEEDINGS{CHA04,
  author = {David Chaum},
  title = {{Secret-Ballot Receipts: True Voter-Verifiable Elections}},
  booktitle = {{IEEE Security \& Privacy (Vol. 2, No. 1)}},
  year = {2004},
  pages = {38-47},
  month = {January-February},
}

@ARTICLE{Fairfax,
  author = {Cho, David},
  title = {{F}airfax Judge Orders Logs Of Voting Machines Inspected},
  journal = {The Washington Post},
  year = {2003},
  pages = {B01},
  month = {Nov},
  note = {http://www.washingtonpost.com/ac2/wp-dyn?pagename=article\&node=\&contentId=A6291-2003Nov5\&notFound=true},
}

@MISC{code02,
  author = {{European Commission for Democracy Through Law (Venice Commission)}},
  title = {Code of good practice in electoral matters},
  howpublished = {Opinion no. 190/2002},
  month = {October},
  year = {2002},
  note = {\url{http://www.venice.coe.int/docs/2002/CDL-AD(2002)023rev-e.asp}},
  owner = {mmcgaley},
  url = {http://www.venice.coe.int/docs/2002/CDL-AD(2002)023rev-e.asp},
}

@ARTICLE{ITimes04,
  author = {Mark Brennock Chief Political Correspondent},
  title = {Last-minute indemnity for e-voting commission agreed},
  journal = {The Irish Times},
  year = {2004},
  month = {April},
}

@MISC{Cran96,
  author = {Lorrie Faith Cranor},
  title = {Electronic Voting Computerized polls may save money, protect privacy},
  howpublished = {Crossroads Issue 2.4},
  month = {April},
  year = {1996},
  owner = {mmcgaley},
  url = {http://www.acm.org/crossroads/xrds2-4/voting.html},
}

@MISC{p45.net,
  author = {Michael Cunningham},
  title = {p45.net article about source code},
  howpublished = {http://www.p45.net/dos\_prompt/columns/28.html},
}

@ARTICLE{MolKoh06,
  author = {D. Molnar, T. Kohno, N. Sastry, and D. Wagner.},
  title = {Tamper-evident, history-independent, subliminal-free data structures on PROM storage -or- how to store ballots on a voting machine (extended abstract).},
  journal = {IEEE Symposium on Security and Privacy,},
  year = {2006.},
  owner = {mmcgaley},
  url = {http://eprint.iacr.org/2006/081.ps},
}

@ARTICLE{Car05,
  author = {Deirdre Carew, Dr. Chris Exton, Dr. Jim Buckley, Margaret McGaley, Dr. J. Paul Gibson},
  title = {Preliminary Study to Empirically Investigate the Comprehensibility of Requirements Specifications},
  journal = {Psychology of Programming Interest Group 17th Annual Workshop},
  year = {2005},
  owner = {mmcgaley},
}

@INPROCEEDINGS{Desforges99,
  author = {P. DESFORGES},
  title = {INTERLOCKING SYSTEM EXPERIENCE \& PROSPECTS},
  booktitle = {FMERail Workshop on Formal Methods in Railway Systems, FM'99 World Congress on Formal Methods, Toulouse, France},
  year = {1999},
}

@TECHREPORT{Zerflow02,
  author = {English, Colin},
  title = {Electronic Voting Security Assessment for {D}epartment of {E}nvironment},
  institution = {Zerflow Information Security},
  year = {2002},
  month = {Mar},
  url = {http://evoting.cs.may.ie/Documents/ZerflowReport.pdf},
}

@MISC{ToR-IP1-S-EE,
  author = {{Council of Europe}},
  title = {Specific terms of reference {(IP1-S-EE)} of the Multidisciplinary Ad Hoc Group of Specialists on legal, operational and technical standards for e-enabled voting},
  howpublished = {IP1(2003)3 e},
  month = {February},
  year = {2004},
  owner = {mmcgaley},
}

@MISC{CoE-Expl,
  author = {{Council of Europe}},
  title = {Recommendation on legal, operational and technical standards for e-voting - Explanatory Memorandum},
  howpublished = {Rec(2004)11},
  month = {September},
  year = {2004},
  owner = {mmcgaley},
  url = {http://www.coe.int/T/e/integrated_projects/democracy/02_Activities/02_e-voting/},
}

@MISC{CoE,
  author = {{Council of Europe}},
  title = {Recommendation on legal, operational and technical standards for e-voting},
  howpublished = {Rec(2004)11},
  month = {September},
  year = {2004},
  note = {\url{http://www.coe.int/T/e/integrated_projects/democracy/02_Activities/02_e-voting/}},
  owner = {mmcgaley},
  url = {http://www.coe.int/T/e/integrated_projects/democracy/02_Activities/02_e-voting/},
}

@ARTICLE{Farrell03,
  author = {Farrell, David and McAllister, Ian},
  title = {"The 1983 Change in Surplus Vote Transfer Procedures for the Australian Senate and its Consequences for the Single Transferable Vote"},
  journal = {Australian Journal of Political Science},
  year = {2003},
  volume = {38},
  number = {3},
  pages = {479--491},
  publisher = {Carfax Publishing},
}

@BOOK{Farrell97,
  title = {Comparing Electoral Systems},
  publisher = {Prentice Hall},
  year = {1997},
  author = {Farrell, David M.},
}

@ARTICLE{Nasa96,
  author = {Charles Fishman},
  title = {{They Write the Right Stuff}},
  journal = {FastCompany},
  year = {1996},
  volume = {06},
  month = {Dec},
  url = {http://www.fastcompany.com/online/06/writestuff.html},
}

@MISC{TAXI02,
  author = {John M. Fitzpatrick},
  title = {Dublin County Post Election Report},
  month = {June},
  year = {2002},
  note = {http://evoting.cs.may.ie/Documents/PostElectJune2002.pdf},
}

@MISC{Calif00,
  author = {{California Internet Voting Task Force}},
  title = {final report},
  howpublished = {\url{http://www.ss.ca.gov/executive/ivote/}},
  year = {2000},
  note = {Appendix a3 section 3.2.3},
  owner = {mmcgaley},
  url = {http://www.ss.ca.gov/executive/ivote/},
}

@MISC{EIRS,
  author = {{Verified Voting Foundation}},
  title = {Election Incident Reporting System},
  howpublished = {\url{https://voteprotect.org/}},
  owner = {mmcgaley},
}

@ARTICLE{DiFranco04,
  author = {Anthony Di Franco and Andrew Petro and Emmett Shear and Vladimir Vladimirov},
  title = {Small vote manipulations can swing elections},
  journal = {Commun. ACM},
  year = {2004},
  volume = {47},
  number = {10},
  pages = {43--45},
  issn = {0001-0782},
  doi = {http://doi.acm.org/10.1145/1022594.1022621},
  address = {New York, NY, USA},
  publisher = {ACM Press},
}

@MISC{ScotPal04,
  author = {The Scottish Parliamentary committee on Local Government and Transport},
  title = {Stage 1 Report on the {L}ocal {G}overnance ({S}cotland) {B}ill --- 2nd report 2004 (Session 2)},
  month = {Mar},
  year = {2004},
  url = {http://www.scottish.parliament.uk/lg/reports/lgr04-02-vol01-02.htm},
}

@ARTICLE{Herrnson05,
  author = {Paul S. Herrnson and Benjamin B. Bederson and Bongshin Lee and Peter L. Francia and Robert M. Sherman and Frederick G. Conrad and Michael Traugott and Richard G. Niemi},
  title = {Early Appraisals of Electronic Voting},
  journal = {Soc. Sci. Comput. Rev.},
  year = {2005},
  volume = {23},
  number = {3},
  pages = {274--292},
  issn = {0894-4393},
  address = {Thousand Oaks, CA, USA},
  publisher = {Sage Publications, Inc.},
}

@ARTICLE{Hill87,
  author = { Hill, I. D. and Wichmann, B. A. and Woodall, D. R. },
  title = {"Single transferable vote by Meek's method"},
  journal = {Computer Journal },
  year = {1987},
  volume = {30},
  pages = {277--281},
}

@INPROCEEDINGS{Hol97,
  author = {C.Michael Holloway},
  title = {Why engineers shoul consider formal methods},
  booktitle = {Proceedings of the $16^{th}$ AIAA/IEEE Digital Avionics Systems Conference},
  year = {1997},
  volume = {1},
  pages = {1.3--16 -- 1.3--22},
  address = {Irvine CA},
  month = oct,
  url = {citeseer.ist.psu.edu/holloway97why.html},
}

@INPROCEEDINGS{Ikonomopoulos02,
  author = {S. Ikonomopoulos and Costas Lambrinoudakis and Dimitris Gritzalis and Spyros Kokolakis and K. Vassiliou},
  title = {Functional Requirements for a Secure Electronic Voting System},
  booktitle = {SEC '02: Proceedings of the IFIP TC11 17th International Conference on Information Security},
  year = {2002},
  pages = {507--520},
  address = {Deventer, The Netherlands, The Netherlands},
  publisher = {Kluwer, B.V.},
  isbn = {1-4020-7030-6},
}

@MISC{SERVE,
  author = {David Jefferson and Aviel D. Rubin and Barbara Simons and David Wagner},
  title = {A Security Analysis of the Secure Electronic Registration and Voting Experiment ({SERVE})},
  howpublished = {\url{http://www.servesecurityreport.org/}},
  month = {January},
  year = {2004},
  owner = {mmcgaley},
  url = {http://www.servesecurityreport.org/},
}

@MISC{Jones04,
  author = {Douglas W. Jones},
  title = {The European 2004 Draft E-Voting Standard: Some critical comments},
  howpublished = {\url{http://www.cs.uiowa.edu/~jones/voting/coe2004.shtml}},
  year = {2004},
  owner = {mmcgaley},
  url = {http://www.cs.uiowa.edu/~jones/voting/coe2004.shtml},
}

@INPROCEEDINGS{RIE03,
  author = {Andreu Riera Jorba and José Antonio Ortega Ruiz and Paul Brown},
  title = {Advanced Security to Enable Trustworthy Electronic Voting},
  booktitle = {Proceedings of the 3rd European conference on e-Government},
  year = {2003},
  pages = {377-384},
  note = {www.scytl.com/docs/ECEG2003\_full\_paper.pdf},
}

@TECHREPORT{PTB:TR2,
  author = {Kilz, G. and Greif, N. and Schrepf, H. and Saborrosch, D.},
  title = {Test report 2 --- Voting Machine {ESI2} --- Software for elections in {I}reland},
  institution = {Physikalisch-Technische Bundesanstalt},
  year = {2003},
  number = {PTB-8.302-PB-04.03-V15},
  month = {Sep},
  url = {http://www.electronicvoting.ie/pdf/PTB\%20test\%20rpt\%202\%20-\%20sept03.pdf},
}

@ARTICLE{Kocher04,
  author = {Paul Kocher and Bruce Schneier},
  title = {Insider risks in elections},
  journal = {Commun. ACM},
  year = {2004},
  volume = {47},
  number = {7},
  pages = {104},
  issn = {0001-0782},
  doi = {http://doi.acm.org/10.1145/1005817.1005846},
  address = {New York, NY, USA},
  publisher = {ACM Press},
}

@INPROCEEDINGS{Kohno04,
  author = {Kohno, Tadayoshi and Stubblefield, Adam and Rubin, Aviel D. and Wallach, Dan S.},
  title = {Analysis of an electronic voting system},
  booktitle = {IEEE Symposium on Security and Privacy (S\&P?04)},
  year = {2004},
  publisher = {IEEE},
  location = {Oakland, CA},
}

@ARTICLE{SBP02,
  author = {Paul Lambert},
  title = {Who has their eye on your online activities?},
  journal = {The Sunday Business Post},
  year = {2002},
  month = {May},
  note = {http://archives.tcm.ie/businesspost/2002/05/05/story319171.asp},
}

@ARTICLE{Amarach03,
  author = {Sylvia Leatham},
  title = {Most Irish citizens approve of e-voting:},
  journal = {electricnews.net},
  year = {2003},
  month = {August 6th},
  owner = {mmcgaley},
  url = {http://electricnews.net/news.html?code=9370867},
}

@ARTICLE{Lillington02,
  author = {Karlin Lillington},
  title = {Electronic vote poses big security risk},
  journal = {The Irish Times},
  note = {Fri, Oct 18, 02},
}

@MISC{Acm03,
  author = {{U.S. Public Policy Committee of the Association for Computing Machinery}},
  title = {E-Voting Technology and Standards},
  howpublished = {WWW page},
  type = {USACM Policy Brief},
  url = {http://www.acm.org/usacm/Issues/EVoting.htm},
}

@ARTICLE{Brennock02,
  author = {Mark Brennock, Political Correspondent},
  title = {All constituencies to have electronic voting in 2004},
  journal = {The Irish Times},
  note = {Thu, Oct 31, 02},
}

@TECHREPORT{Gon05,
  author = {Mark Gondree, Patrick Wheeler, Dimitri DeFigueiredo},
  title = {{A Critique of the 2002 FEC VSPT E-Voting Standards}},
  institution = {{Department of Computer Science University of California at Davis}},
  year = {2005},
  number = {CSE-2005-20},
  month = {September},
  owner = {mmcgaley},
  url = {http://www.cs.ucdavis.edu/research/tech-reports/2005/CSE-2005-20.pdf},
}

@TECHREPORT{Atos03,
  author = {Mazereeuw, Peter},
  title = {Evaluation Code Review {IES}},
  institution = {ATOS Origin},
  year = {2003},
  month = {May},
  url = {http://evoting.cs.may.ie/Documents/atos.pdf},
}

@MISC{sil05,
  author = {Andy McCue},
  title = {E-voting tech trials ditched by government},
  owner = {mmcgaley},
  url = {http://management.silicon.com/government/0,39024677,39151891,00.htm},
}

@TECHREPORT{McG04dimacs,
  author = {Margaret McGaley},
  title = {{Report on DIMACS Workshop on Electronic Voting – Theory and Practice}},
  institution = {http://dimacs.rutgers.edu/},
  year = {2004},
  owner = {mmcgaley},
}

@MISC{McG04open,
  author = {Margaret McGaley},
  title = {True democracy needs a voting trail},
  howpublished = {Online magazine openDemocracy},
  owner = {mmcgaley},
}

@INPROCEEDINGS{McG06,
  author = {Margaret McGaley and J.~Paul Gibson},
  title = {{``A Critical Analysis of the Council of Europe Recommendations on e-voting''}},
  booktitle = {USENIX/ACCURATE Electronic Voting Technology Workshop},
  year = {2006},
  owner = {mmcgaley},
}

@TECHREPORT{McG03,
  author = {Margaret McGaley and J.~Paul Gibson},
  title = {{E-Voting: A Safety Critical System}},
  institution = {NUI Maynooth, Computer Science Department},
  year = {2003},
  number = {NUIM-CS-TR-2003-02},
  note = {http://www.cs.may.ie/research/reports/2003/index.html\#02},
}

@ARTICLE{Meek69,
  author = {B. L. Meek},
  title = {A new approach to the single transferable vote: Equality of treatment of voters and a feedback mechanism fro vote counting},
  journal = {Math{\'e}matiques et Sciences Humaines},
  year = {1969},
  volume = {25},
  pages = {13-23},
}

@ARTICLE{Mercuri05,
  author = {Rebecca Mercuri},
  title = {Trusting in transparency.},
  journal = {Commun. ACM},
  year = {2005},
  volume = {48},
  number = {5},
  pages = {15-19},
  ee = {http://doi.acm.org/10.1145/1060726},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}

@ARTICLE{Mercuri02,
  author = {Rebecca Mercuri},
  title = {Computer security: quality rather than quantity},
  journal = {Commun. ACM},
  year = {2002},
  volume = {45},
  number = {10},
  pages = {11--14},
  issn = {0001-0782},
  doi = {http://doi.acm.org/10.1145/570907.570917},
  address = {New York, NY, USA},
  publisher = {ACM Press},
}

@MISC{MER02,
  author = {Rebecca Mercuri},
  title = {{A Better Ballot Box?}},
  howpublished = {IEEE Spectrum Online},
  month = {October},
  year = {2002},
}

@MISC{Mer01,
  author = {Rebecca Mercuri},
  title = {Statement on Electronic Voting},
  howpublished = {WWW page},
  year = {2001},
  url = {http://www.notablesoftware.com/RMstatement.html},
}

@PHDTHESIS{Mercuri00,
  author = {Mercuri, Rebecca},
  title = {Electronic Vote Tabulation Checks \& Balances},
  school = {University of Pennsylvania,School of Engineering and Applied Science, Department of Computer and Information Systems},
  year = {2000},
}

@INPROCEEDINGS{MER92,
  author = {Rebecca Mercuri},
  title = {{Physical Verifiability of Computer Systems}},
  booktitle = {5th International Computer Virus and Security Conference},
  year = {1992},
  month = {March},
}

@ARTICLE{Mercuri02a,
  author = {Rebecca Mercuri},
  title = {Florida 2002: Sluggish Systems, Vanishing Votes},
  journal = {Communications of the ACM},
  volume = {45},
  number = {11},
  month = {November},
}

@MISC{MercuriWeb,
  author = {Rebecca Mercuri},
  title = {Website},
  howpublished = {http://www.notablesoftware.com/evote.html},
}

@ARTICLE{Indo02,
  author = {Senan Molony},
  title = {Electronic vote machines open to tampering - report},
  journal = {The Irish Independent},
  year = {2002},
  month = {December},
  note = {Dec 09},
}

@INPROCEEDINGS{Neu93,
  author = {Neumann, Peter G.},
  title = {Security Criteria for Electronic Voting},
  booktitle = {Proc. 16th National Computer Security Conference},
  year = {1993},
  address = {Baltimore, Maryland},
  month = {Sep},
  publisher = {NIST/NCSC},
  url = {http://www.csl.sri.com/users/neumann/ncs93.html},
}

@ARTICLE{Neumann90,
  author = {Peter G. Neumann},
  title = {Inside risks: risks in computerized elections},
  journal = {Commun. ACM},
  year = {1990},
  volume = {33},
  number = {11},
  pages = {170},
  issn = {0001-0782},
  doi = {http://doi.acm.org/10.1145/92755.92787},
  address = {New York, NY, USA},
  publisher = {ACM Press},
}

@MISC{CEVapp2k,
  author = {Dr. Kees Niemoller},
  title = {Experience with Voting Machines in the {N}etherlands and {G}ermany},
  howpublished = {Appendix 2K to the first report of Ireland's Commission on Electronic Voting},
  month = {December},
  year = {2004},
  owner = {mmcgaley},
  url = {http://www.cev.ie/htm/report/first_report/pdf/Appendix%202K.pdf},
}

@INPROCEEDINGS{nuseibeh00,
  author = {Bashar Nuseibeh and Steve Easterbrook},
  title = {Requirements engineering: a roadmap},
  booktitle = {{ICSE} - Future of {SE} Track},
  year = {2000},
  pages = {35-46},
  url = {citeseer.ist.psu.edu/654201.html},
}

@INPROCEEDINGS{algo_impl_issues,
  author = {Robert Kofler, Robert Krimmer, Alexander Prosser},
  title = {Electronic Voting: Algorithmic and Implementation Issues},
  booktitle = {Proceedings of the 36th Hawaii International Conference on System Sciences},
  year = {2002},
  owner = {mmcgaley},
}

@ARTICLE{Rubin02,
  author = {Aviel D. Rubin},
  title = {Security Considerations for Remore Electronic Voting},
  journal = {Communications of the ACM},
  volume = {45},
  number = {12},
  month = {December},
}

@ARTICLE{Sch01,
  author = {Bruce Schneier},
  title = {Voting and Technology},
  journal = {Crypto-Gram},
  year = {2000},
  volume = {00},
  number = {12},
  month = {Dec},
  url = {http://www.schneier.com/crypto-gram-0012.html\#1},
  chapter = {1},
}

@MISC{Cryptogram2,
  author = {Bruce Schneier},
  title = {Internet Voting vs. Large-Value e-Commerce},
  howpublished = {http://www.counterpane.com/crypto-gram-0102.html\#10},
}

@MISC{Cryptogram4,
  author = {Bruce Schneier},
  title = {An Intentional Back Door},
  howpublished = {http://www.counterpane.com/crypto-gram-0102.html\#5},
}

@MISC{Cryptogram3,
  author = {Bruce Schneier},
  title = {Open Source and Security},
  howpublished = {http://www.counterpane.com/crypto-gram-9909.html\#OpenSourceandSecurity},
}

@MISC{schoenmakers-compensating,
  author = {B. Schoenmakers},
  title = {Compensating for a lack of transparency},
  text = {B. Schoenmakers. Compensating for a lack of transparency. In
	 Proceedings of the Tenth Conference on Computers, Freedom & Privacy (CFP},
  url = {citeseer.ist.psu.edu/schoenmakers00compensating.html},
}

@MISC{schoenmakers-fully,
  author = {Berry Schoenmakers},
  title = {Fully Auditable Electronic Secret-Ballot Elections},
  url = {citeseer.nj.nec.com/schoenmakers00fully.html},
}

@ARTICLE{Sha93,
  author = {Michael Ian Shamos},
  title = {Electronic Voting - Evaluating the Threat},
  journal = {Third Conference on Computers, Freedom and Privacy, CPSR},
  year = {1993},
  month = {March},
  url = {http://www.cpsr.org/prevsite/conferences/cfp93/shamos.html},
}

@ARTICLE{Simons04,
  author = {Barbara Simons},
  title = {Is it true that politics and technology don't mix? {DRE}s: {D}irect {R}ecording {E}lectronic {S}ystems},
  journal = {ACM Queue},
  year = {2004},
  volume = {2},
  number = {7},
  owner = {mmcgaley},
  url = {http://acmqueue.com/modules.php?name=Content&pa=showpage&pid=219},
}

@BOOK{Singer73,
  title = {Democracy and Disobedience},
  publisher = {Gregg Revivals},
  year = {1973},
  author = {Peter Singer},
}

@MISC{Ics04,
  author = {Irish Computer Society},
  title = {The {ICS} calls for audit trail in e-voting system},
  month = {Mar},
  year = {2004},
  type = {Press release},
  url = {http://www.ics.ie/article-027.shtml},
}

@BOOK{TAM02,
  title = {Introducing Software Testing},
  publisher = {Addison-Wesley},
  year = {2002},
  author = {Louise Tamres},
}

@MISC{Nath03,
  author = {Nathean Technologies},
  title = {Code Review of IES Build 0111 for the Department of the Environment, Heritage and Local Government - page 25},
  note = {http://www.electronicvoting.ie/pdf/Nathean Code Review Dec03.pdf},
  key = {NTec},
}

@ARTICLE{Tho83,
  author = {Thompson, Ken},
  title = {Reflections on Trusting Trust},
  journal = {Communications of the ACM},
  year = {1984},
  volume = {27},
  number = {8},
  pages = {761--763},
  month = {Aug},
  note = {A. M. Turing Award lecture},
  url = {http://www.acm.org/classics/sep95/},
}

@MISC{CEV,
  author = {{Commission on Electronic Voting}},
  title = {first report},
  howpublished = {\url{http://www.cev.ie/htm/report/download_first.htm}},
  month = {December},
  year = {2004},
  owner = {mmcgaley},
  url = {http://www.cev.ie/htm/report/download_first.htm},
}

@TECHREPORT{ERS:STV,
  author = {Wadsworth, J. and Wichmann, B.},
  title = {Report on {I}rish {STV} Software Testing},
  institution = {Electoral Reform Services},
  year = {2003},
  month = {Dec},
  url = {http://www.electronicvoting.ie/pdf/ERS\%20software\%20validation\%20report\%202003.doc},
}

@MISC{GenWeb,
  author = {{Geneva Government website}},
  title = {{E-Voting: informations [sic] about eVoting}},
  howpublished = {\url{http://www.geneve.ch/evoting/english/welcome.asp}},
  owner = {mmcgaley},
  url = {http://www.geneve.ch/evoting/english/welcome.asp},
}

@MISC{IrlWeb,
  author = {{Irish Government website}},
  title = {Electronic Voting: it's easier for everyone},
  howpublished = {\url{http://www.electronicvoting.ie/english/index.html}},
  owner = {mmcgaley},
  url = {http://www.electronicvoting.ie/english/index.html},
}

@BOOK{CRG96,
  title = {Report of the {C}onstitution {R}eview {G}roup},
  publisher = {The Stationery Office},
  year = {1996},
  author = {Whitaker, Dr. T. K. and others},
  month = {May},
  isbn = {0707624401},
}

@INPROCEEDINGS{Xenakis04,
  author = {Alexandros Xenakis and Ann Macintosh},
  title = {Procedural security analysis of electronic voting},
  booktitle = {ICEC '04: Proceedings of the 6th international conference on Electronic commerce},
  year = {2004},
  pages = {541--546},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1052220.1052288},
  isbn = {1-58113-930-6},
  location = {Delft, The Netherlands},
}

@ARTICLE{WIRED03,
  author = {Kim Zetter},
  title = {Aussies Do It Right: E-Voting},
  journal = {Wired News},
  year = {2003},
  note = {http://www.wired.com/news/ebiz/0,1272,61045,00.html},
}

@MISC{EAC05,
  author = {{Election~Assistance~Commission~(EAC)}},
  title = {Voluntary Voting System Guidelines},
  howpublished = {http://www.eac.gov/vvsg\_intro.htm},
  year = {2005},
  owner = {mmcgaley},
  url = {http://www.eac.gov/vvsg_intro.htm},
}

@ARTICLE{RedC04,
  title = {Poll majority want e-voting put on hold},
  journal = {The Sunday Business Post},
  year = {2004},
  month = {March 14th},
  owner = {mmcgaley},
  url = {http://archives.tcm.ie/businesspost/2004/03/14/story97611263.asp},
}

@PROCEEDINGS{DBLP:conf/evoting/2004,
  title = {Electronic Voting in Europe - Technology, Law, Politics and Society, Workshop of the ESF TED Programme together with GI and OCG, July, 7th-9th, 2004, in Schlo{\ss} Hofen / Bregenz, Lake of Constance, Austria, Proceedings},
  year = {2004},
  editor = {Alexander Prosser and Robert Krimmer},
  volume = {47},
  series = {LNI},
  publisher = {GI},
  booktitle = {lectronic Voting in Europe},
  isbn = {3-88579-376-8},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}

@BOOK{Dimitris03,
  title = {Secure Electronic Voting},
  publisher = {Springer},
  year = {2003},
  editor = {Gritzalis, Dimitris},
  volume = {7},
  series = {Advances in Information Security},
}

@MISC{FOIAct97,
  title = {{Freedom of Information Act}},
  year = {1997},
  note = {Available online at http://achtanna.oireachtas.ie/zza13y1997.1.html},
  key = {FoIAct97},
}

@MISC{ElectoralAct92,
  title = {{Electoral Act}},
  year = {1992},
  note = {Available online at http://achtanna.oireachtas.ie/zza23y1992.1.html},
  key = {ElectoralAct92},
}

@MISC{Nedap,
  title = {Nedap home page},
  howpublished = {http://www.nedap.nl/company/item_company.html},
}

@MISC{Gov1,
  title = {Making it Easier to Vote - Electronic Voting and Counting},
  howpublished = {http://www.environ.ie/elecvote_detail.pdf},
}

@MISC{AUS01,
  title = {{Australian Electronic voting and counting source code}},
  note = {http://www.elections.act.gov.au/Elecvote.html},
  key = {Aus01},
}

@MISC{BritGov1,
  title = {e-Voting Security Study},
  howpublished = {http://www.edemocracy.gov.uk/library/papers/study.pdf},
  note = {©2002 Crown Copyright},
}

@MISC{SafetyCritDefn,
  title = {Definition of `safety-critical system'},
  howpublished = {http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?safety-critical\%20system},
}

@MISC{NasaWeb,
  title = {Why is Formal Methods Necessary?},
  howpublished = {http://shemesh.larc.nasa.gov/fm/fm-why.html},
}

@MISC{NedapWeb,
  title = {Homepage of the Nedap/Powervote Electronic Voting System},
  howpublished = {http://www.election.nl/bizx\_html/IVS-GB/},
}

@MISC{DailDebate02,
  title = {Electronic Voting System.},
  note = {Dail Debate - Tuesday, 10 December 2002},
}

@MISC{ZerflowWeb,
  title = {Homepage of the Zerflow},
  howpublished = {http://www.zerflow.com/},
}

@MISC{Gov2,
  title = {Government papers about electronic voting},
  howpublished = {http://www.environ.ie/elections/Elect_Voting_Roadshows.pdf, http://www.environ.ie/elections/Elect_Voting_Answers1.pdf, http://www.environ.ie/elections/Elect_Voting_Answers2.pdf, http://www.environ.ie/elections/Elect_Voting_Info_Paper.pdf},
}

@MISC{AusWeb,
  title = {Electronic voting - Technical description of how it works},
  howpublished = {http://www.elections.act.gov.au/EVACS.html},
}