Publications
= Publications =
== 2012 ==
== 2011 ==
- H. DeYoung and Carsten Schürmann. "Linear Logical Voting Protocols". Proceedings of the 3rd international conference on e-voting and identity. 2011. Linear Logical Voting Protocols.
- Carsten Schürmann. "Modernizing Electronic Elections". Slides. 2011. Modernizing Electronic Elections [http://www.itu.dk/~carsten/slides/2011-06-CMU-cylab.pdf Online version]
== 2010 ==
- D. Cochran and Joseph Kiniry. "Votail A Formally Specified and Verified Ballot Counting System". 2010. Votail A Formally Specified and Verified Ballot Counting System [http://kindsoftware.com/documents/published/ Online version]
== 2009 ==
- Carsten Schürmann. "Electronic elections: Trust through engineering". J. P. Gibson and D. W. Jones eds. Atlanta : ACM Digital Library. 2009. pp. 38 – 46. Electronic elections: Trust through engineering - htdocs:papers/evoting.pdf
== 2007 ==
- Joseph Kiniry, D. Cochran and P. Tierney. "A Verification-Centric Realization of e-Voting". Proceedings of EVT '07. 2007. [[A Verification-Centric Realization of e-Voting More] [http://kindsoftware.com/documents/published/ Online version]
- Joseph Kiniry et al. "Formally Counting Electronic Votes (But Still Only Trusting Paper)". Proceedings of ICECCS '07. 2007. Formally Counting Electronic Votes (But Still Only Trusting Paper) [http://kindsoftware.com/documents/published/ Online version]
== 2006 ==
- Joseph Kiniry et al. "The KOA Remote Voting System: A Summary of Work To Date". Proceedings of TGC '06. 2006. The KOA Remote Voting System: A Summary of Work To Date [http://kindsoftware.com/documents/published/ Online version]
== 2004 ==
- B. Jacobs, E. Hubbers, Joseph Kiniry and M. Oostdijk. "Counting Votes with Formal Methods". Proceedings of AMAST '04. 2004. Counting Votes with Formal Methods