The%20KOA%20Remote%20Voting%20System%3A%20A%20Summary%20of%20Work%20To%20Date

= The KOA Remote Voting System: A Summary of Work To Date =

'''Research Area''': Electronic Voting Technology br '''Year''': 2006 br '''Type of Publication''': In Proceedings br '''Authors''': Joseph Kiniry, Alan Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers

== !BibTex == {{{#!html

<textarea class="bibtex"> @conference{KiniryEtAl06, author = "Kiniry, Joseph and Morkan, Alan and Cochran, Dermot and Fairmichael, Fintan and Chalin, Patrice and Oostdijk, Martijn and Hubbers, Engelbert", abstract = "Remote internet voting incorporates many of the core challenges of trusted global computing. In this paper, we present the Kiezen op Afstand (KOA) system. KOA is a Free Software, remote voting system developed for the Dutch government in 2003/2004. In addition to being Open Source, it is also partially formally specified and verified. This paper summarises the work carried out to date on the KOA system. It charts the evolution of the system, from its initial conception by the Dutch Government, through to its current status. It also describes a roadmap of milestones towards completing its next release: a Free Software, general-purpose, formally specified and verified internet voting system, that incorporates Proof Carrying Code technology for software update and allows trustworthy voting from a mobile phone. We propose that the KOA system should be used as an experimental platform for research in electronic and internet voting; we are not saying that we have solved any of the major problems inherent in voting with computers.", booktitle = "Proceedings of TGC '06", title = "{T}he {KOA} {R}emote {V}oting {S}ystem: {A} {S}ummary of {W}ork {T}o {D}ate", url = "http://kindsoftware.com/documents/published/", year = "2006", } </textarea>

}}}

== Abstract == Remote internet voting incorporates many of the core challenges of trusted global computing. In this paper, we present the Kiezen op Afstand (KOA) system. KOA is a Free Software, remote voting system developed for the Dutch government in 2003/2004. In addition to being Open Source, it is also partially formally specified and verified. This paper summarises the work carried out to date on the KOA system. It charts the evolution of the system, from its initial conception by the Dutch Government, through to its current status. It also describes a roadmap of milestones towards completing its next release: a Free Software, general-purpose, formally specified and verified internet voting system, that incorporates Proof Carrying Code technology for software update and allows trustworthy voting from a mobile phone. We propose that the KOA system should be used as an experimental platform for research in electronic and internet voting; we are not saying that we have solved any of the major problems inherent in voting with computers.

Full text: htdocs:papers/KiniryEtal06.pdf

[http://kindsoftware.com/documents/published/ Online version]