posted on 2012-03-26, 11:58authored byJoseph R. Kiniry
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.
History
Publication
12th IEEE International Conference on Engineering of Complex Computer Systems;2007