This HTML was created from bibliography.bib using htmliser.pl Each bibentry can be linked with #key.
This file was created with JabRef 1.6.
Encoding: Cp1252
@phdthesis{ McG08,
author = {Margaret McGaley},
title = {{E-voting: an Immature Technology in a
Critical Context}},
school = {Dept. of Computer Science, NUI
Maynooth},
year = {2008},
}
@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\¬Found=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,
@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,
@MISC{CoE-Expl,
@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,
@MISC{schoenmakers-fully,
@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,
@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},
}