University of Limerick Institutional Repository

Formally counting electronic votes (but still only trusting paper)

DSpace Repository

Show simple item record Kiniry, Joseph R. 2012-03-26T11:58:16Z 2012-03-26T11:58:16Z 2007
dc.description peer-reviewed en_US
dc.description.abstract In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish government’s activities are our particular focus, as is the Kiezen op Afstand (KOA) system, an experimental platform for electronic voting research with formal methods. We also reflect on the current state of affairs in The Netherlands and Ireland, and discuss next research steps in trustworthy, verified electronic voting systems. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries 12th IEEE International Conference on Engineering of Complex Computer Systems;2007
dc.rights “© 2007 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. en_US
dc.subject electronic voting en_US
dc.subject Netherlands en_US
dc.subject Ireland en_US
dc.subject computers en_US
dc.title Formally counting electronic votes (but still only trusting paper) en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account