Publications - Academic papers


Wang, Kiniry, and Schuermann. "The DemTech Logging Systems"

Kiniry and Sukosd. "V4: A Verified, Voter-Verifiable, Verified Election Scheme Machine"

Kiniry and Hyllekilde. "DVL: A Verified Digital Voter List System"

Jian Wang and Carsten Schürmann (2016): Measuring Voter Lines. International Conference for E-Democracy and Open Government 2016 (CeDEM16)


Nicolas Guenot and Daniel Gustafsson. Sequent Calculus and Equational Reasoning. International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP’15), EPTCS 185, pp. 102-109, 2015.

Taus Brock-Nannestad, Nicolas Guenot and Daniel Gustafsson. Computation in Focused Intuitionistic Logic. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP’15), pp. 43-54, ACM Press 2015.

Taus Brock-Nannestad and Nicolas Guenot. Focused Linear Logic and the λ-calculus. In Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI). Electronic Notes in Theoretical Computer Science Volume 319, pp. 103–119, 21 December 2015.

Signe Lund Tovgaard and Steffen Dalsgaard. Mens vi venter på at sætte et kryds: Valgstedets tid, rum og rytme. Jordens Folk 2-3/2015, pp. 76-83, 2015.

Christopher Gad and Steffen Dalsgaard. Managing exceptions in Danish elections: Disability as an analytic means for making explicit the voting process. Society for Social Studies of Science Conference 2015, 11-14 November, Denver, Colorado.

Jian Wang and Carsten Schürmann. Measuring Voter Lines. IT University Technical Report Series TR-2015-191, 2015.

Pernille Bjørn and Nina Boulus-Rødje. Studying Technologies in practice: "Bounding practices" when investigating socially embedded technologies. In V. Wulf, K. Schmidt & D. Randall (eds.), Designing socially embedded technologies in the real-world. Vol. IV, pp. 341-356, 2015. Springer. (Computer Supported Cooperative Work). DOI: 10.1007/978-1-4471-6720-4_14.

Nina Boulus-Rødje and Pernille Bjørn. Design Challenges in Supporting Distributed Knowledge: An Examination of Organizing Elections. ACM CHI Conference on Human Factors in Computing Systems, 18-23 April 2015, Seoul, Republic of Korea. DOI: 10.1145/2702123.2702458

Marco Carbone, Fabrizio Montessi and Carsten Schuermann. Multi-party session types as coherence proofs. Appeared 26th Conference on Concurrency Theory (CONCUR 15), pp. 412-426, 2015, Madrid. ISBN 978-3-939897-91-0, LIPICS Vol. 42ISSN 1868-8969. See more.

Peter Bock Brottveit and Carsten Schürmann. A contextual logical framework. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2015, Fiji.

Dirk Pattison and Carsten Schürmann. Vote Counting as Mathematical Proof. 28th Australasian Joint Conference on Artificial Intelligence 2015, Canberra, Australia.


Jorge Luis Sacchini, Iliano Cervesato, Frank Pfenning, and Carsten Schürmann. Mode checking in the concurrent logical framework. Technical Report CMU-CS-14-134 and CMU-CS-QTR-123, 2014, Carnegie Mellon University.

Christopher Gad and Steffen Dalsgaard. Digital Optimering. Tidsskriftet Antropologi 70, pp. 153-169, 2014, ISSN: 0906-3021..

Michael Clouser, Robert Krimmer, Henrik Nore, Carsten Schürmann and Peter Wolf. The Use of Open Source Technology in Elections. International IDEA, 2014.

Bernhard Beckert, Raj Gore, Carsten Schuermann, Thorsten Bormer and Jian Wang. Verifying Voting Schemes. Journal of Information Security and Applications, 19(2): 115-129, April 2014.

Marco Carbone, Fabrizio Montesi, and Carsten Schürmann. Choreographies, logically. In Paolo Baldan and Daniele Gorla (Eds.), Proceedings of the 25th International Conference on Concurrency Theory (CONCUR’14), pp. 47–62, August 2014, Rome. Springer Verlag LNCS 8704.

Randi Markussen, Lorena Ronquillo and Carsten Schuermann. Trust in Internet Election: Observing the Norwegian Decryption and Counting Ceremony. Proceedings of the 6th International Conference on Electronic Voting 2014 (EVOTE2014), October 2014.

Christopher Gad and David Ribes. The Conceptual and the Empirical in Science and Technology Studies. Science, Technology and Human Values 39(2): 183-191, 2014.

Nicolas Guenot and Lutz Strassburger. Symmetric Normalisation for Intuitionistic Logic. CSL-LICS 2014.

Kaustuv Chaudhuri and Nicolas Guenot. Equality and Fixpoints in the Calculus of Structures. CSL-LICS 2014.

Nicolas Guenot and Taus Brock-Nannestad. Cut Elimination in Multifocused Linear Logic. LINEARITY 2014.

Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska and Carsten Schürmann. Hybrid Extensions in a Logical Framework. LFMTP 2014.

David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios and Carolina Dania. A Model-Driven Methodology for Developing Secure Data-Management Applications. IEEE Trans. Software Eng. 40(4): 324-337, 2014.

Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato and Kunihiko Miyazaki. Formal System Modelling Using Abstract Data Types in Event-B. ABZ 2014, pp. 222-237.

Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti and David A. Basin. Decentralized Composite Access Control. 3rd Conference on Principles of Security and Trust (POST 2014), pp. 245-264.


Jean-Philippe Bernardy and Nicolas Pouillard. Names For Free - Polymorphic Views of Names and Binders. Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, pp. 13-24, 2013.

Bernhard Beckert, Raj Gore and Carsten Schuermann. Analysing Vote Counting Algorithms Via Logic, And its Application to the CADE Election Scheme. Conference on Automated Deduction (CADE-24), pp. 135-144, 2013, Lake Placid.

Bernhard Beckert, Raj Gore and Carsten Schuermann. On the Specification and Verification of Voting Schemes. The 4th International Conference on e-Voting and Identity (VoteID 2013), pp. 135-144, Guildford UK.

Joseph Kiniry. Executive summaries of state of affairs of evoting for Denmark, Ireland, and the Netherlands. (for eventual inclusion in the next edition of "Broken Ballots" by Simons and Jones), accepted.

Joseph Kiniry and Dermot Cochran. Formal Model-based Validation for Tally Systems. The 4th International Conference on e-Voting and Identity (VoteID 2013), Guildford UK.

Christopher Gad and Casper Bruun Jensen. Spørgsmål til teknologierne: Om komplekser af ting og tænkning. In Søren Riis and Kasper Schiølin (eds.) Nye spørgsmål om teknikken, Aarhus: Aarhus Universitetsforlag.

Christopher Gad and Lone Koefoed Hansen. A Closed Circuit Technological Vision: On Minority Report, event detection and enabling technologies. Surveillance & Society 11(1/2): 148-162, 2013.

Steffen Dalsgaard and Morten Nielsen. Introduction: Time and the Field. Special Issue of Social Analysis, 57(1): 1-19, 2013.

Steffen Dalsgaard. The Field as a Temporal Entity and the Challenges of the Contemporary. Social Anthropology 21(2), 2013.


Joseph Kiniry. An Executive Summary of the State-of-Affairs in Computer-Based Voting in Denmark.

Taus Brock-Nannestad and Carsten Schürmann. Truthful monadic abstractions. In Bernhard Gramlich, Dale Miller, and Uli Sattler (eds.), Proceedings of the sixth International Joint Conference on Automated Reasoning (IJCAR’12), pp. 97–110, 2012. Springer Verlag, LNCS.

Iliano Cervesato, Frank Pfenning, Jorge Luis Sacchini, Carsten Schürmann, and Robert J. Simmons. On matching concurrent traces. In Proceedings of the 26th International Workshop on Unification (UNIF’12), 2012.

Iliano Cervesato, Frank Pfenning, Jorge Luis Sacchini, Carsten Schürmann, and Robert J. Simmons. Trace matching in a concurrent logical framework. In Proceedings of the 26th International Workshop on Logical Frame- works and Meta-languages: Theory and Practice (LFMTP’12), pp. 1–12. ACM Digital Library, 2012.

Nina Boulus-Rødje. Mapping the Literature: Socio-Cultural, Organizational and Technological Dimensions of E-voting Technologies. In Kripp, M., Volkamer, M., Grimm, R. Electronic Voting 2012. Proceedings of the 5th Conference on Electronic Voting 2012 (EVOTE2012) P-167, LNI GI Series, Bonn. 2012. Presentation slides. Video.


Nina Boulus-Rødje and Christopher Gad. Preliminary Research Notes: Reflections on Organizational Aspects on the 2011 Danish Parliamentary Election. IT University Technical Report Series TR-2012-1. June 19 2012.

Henry DeYoung and Carsten Schürmann. Linear Logical Voting Protocols. Proceedings of the 3rd international conference on e-voting and identity, 2011.

Nina Boulus-Rødje and Randi Markussen. Blackboxing democracy?: E-voting technologies 'in the making'. Danish Association for Science and Technology Studies, Aarhus University, 2011. Presentation slides.


Dermot Cochran and Joseph R. Kiniry. "Vótáil: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections". 2010. See more.


Carsten Schürmann. Electronic Elections: Trust through engineering. In J. P. Gibson and D. W. Jones (eds.) First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE), ACM Digital Library, pp. 38 – 46, 2009, Atlanta.


Joseph R. Kiniry, Dermot Cochran, and Patrick E. Tierney. A Verification-Centric Realization of e-Voting. Proceedings of EVT '07, 2007. See more

Joseph R. Kiniry et al. Formally Counting Electronic Votes (But Still Only Trusting Paper). Proceedings of ICECCS '07, 2007. See more


Joseph R. Kiniry et al. The KOA Remote Voting System: A Summary of Work To Date. Proceedings of TGC '06, 2006. See more.


Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk. Counting Votes with Formal Methods. Proceedings of AMAST '04, 2004.