A%20Verification Centric%20Realization%20of%20e Voting

A Verification-Centric Realization of e-Voting

'''Research Area''': Electronic Voting Technology br '''Year''': 2007br '''Type of Publication''': In Proceedingsbr '''Authors''': Joseph Kiniry, Dermot Cochran, Patrick Tierney

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

<textarea class="bibtex"> @conference{KiniryCochranTierney07, author = "Kiniry, Joseph and Cochran, Dermot and Tierney, Patrick", 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.", booktitle = "Proceedings of EVT '07", title = "{A} {V}erification-{C}entric {R}ealization of e-{V}oting", url = "http://kindsoftware.com/documents/published/", year = "2007", } </textarea>

}}} == 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.

Full text: htdocs:papers/KiniryCochranTierney-EVT07.pdf

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