University of Limerick Institutional Repository

Verification-centric realization of electronic vote counting

DSpace Repository

Show simple item record Kiniry, Joseph R. Cochran, Dermot Tierney, Patrick E. 2012-08-10T09:04:09Z 2012-08-10T09:04:09Z 2007
dc.description peer-reviewed en_US
dc.description.abstract Activist computer scientists, including some of the authors of this paper, have been working against the adoption by governments of commercial, proprietary, insecure, poorly designed and implemented voting systems the world-over. And, while we mainly work to accomplish our goals by educating citizens and communicating with the press, we also must propose solutions to the problems of trustworthy e-voting. If a computer-based voting system is to ever be adopted, that system must be demonstrably of extremely high quality. This paper discusses a methodology and a set of tools we have used to implement a vote counting plugin, for an experimental computer-based voting system using applied formal methods. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation.ispartofseries EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology;pp. 6-6
dc.rights "© ACM, 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology, pp. 6-6, en_US
dc.subject e-voting en_US
dc.subject computer-based voting systems en_US
dc.title Verification-centric realization of electronic vote counting en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor Euopean Project Mobius en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account