Title :
Formally Counting Electronic Votes (But Still Only Trusting Paper)
Author :
Kiniry, Joseph R.
Author_Institution :
Univ. Coll. Dublin, Dublin
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.
Keywords :
formal verification; government data processing; security of data; Dutch government; Ireland; Irish government; Kiezen op Afstand system; The Netherlands; computer-based voting; electronic votes counting; electronic voting system verification; electronic voting systems trustworthy; formal methods; Adaptive systems; Computer science; Educational institutions; Electronic voting; Electronic voting systems; Government; Informatics; Laboratories; Nominations and elections; Protocols;
Conference_Titel :
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location :
Auckland
Print_ISBN :
0-7695-2895-3
DOI :
10.1109/ICECCS.2007.24
