DemTech

Year: 2011

• H. DeYoung and C. Schürmann. "Linear Logical Voting Protocols". Proceedings of the 3rd international conference on e-voting and identity. 2011. [More] [Bibtex]
• C. Schürmann. "Modernizing Electronic Elections". Slides. 2011. [More] [Online version] [Bibtex]

Year: 2010

• D. Cochran and J. Kiniry. "Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections". 2010. [More] [Online version] [Bibtex]

Year: 2009

• C. Schürmann. "Electronic elections: Trust through engineering". J. P. Gibson and D. W. Jones eds. Atlanta : ACM Digital Library. 2009. pp. 38 – 46. [More] [Full text] [Bibtex]

Year: 2007

• J. Kiniry, D. Cochran and P. Tierney. "A Verification-Centric Realization of e-Voting". Proceedings of EVT '07. 2007. [More] [Online version] [Bibtex]
• "Formally Counting Electronic Votes (But Still Only Trusting Paper)". Proceedings of ICECCS '07. 2007. [More] [Online version] [Bibtex]

Year: 2006

• J. Kiniry et al.. "The KOA Remote Voting System: A Summary of Work To Date". Proceedings of TGC '06. 2006. [More] [Online version] [Bibtex]

Year: 2004

• B. Jacobs, E. Hubbers, J. Kiniry and M. Oostdijk. "Counting Votes with Formal Methods". Proceedings of AMAST '04. 2004. [More] [Bibtex]