Publications - Academic papers


Post-Election Audits in the Philppines Schürmann, C., 2022, Proceedings of E-Vote ID 2022. Tartu Press. Best Paper Award


A Declaration of Software Independence Ryan, P., Jamroga, W., Schneider, S., Schürmann, C. & Stark, P., 2021, Festschrift for Joshua Guttman. Springer

Cyber Awareness Training for Election Staff using Constructive Alignment Chanussot, T. & Schürmann, C., 2021, Proceedings of E-Vote ID 2021. Springer

How to weaponize RLAs to discredit an election Schürmann, C., 2021.

Modelling Human Threats in Socio-Technical Systems Bella, G., Giustolisi, R. & Schürmann, C., 2021, (Afsendt) I: Journal of Computer Security.

Security Protocols as Choreographies Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, s. 98 111 s.

Strengthening Public Confidence Through Risk-Limiting Audits Schürmann, C., 2021, IPSA International Political Science Summit 2021.

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation Daukantas, I., Bruni, A. & Schürmann, C., 2021, Proceedings of PPDP (Principles of Declarative Programing Languages). Association for Computing Machinery

Voter Perceptions of Trust in Risk-Limiting Audit Dalela, A., Kulyk, O. & Schürmann, C., 2021, Proceedings of the Sixth International Joint Conference on Electronic Voting (E-Vote-ID 2021). TalTech press

Voter Perceptions of Trust in Risk-Limiting Audits (Extended) Dalela, A., Kulyk, O. & Schürmann, C., 2021


Effective Cybersecurity Awareness Training for Election Officials Schürmann, C., Jensen, L. H. & Sigbjörnsdóttir, R., 2020, Electronic Voting: E-Vote-ID 2020. Springer, s. 196-212 (Lecture Notes in Computer Science, Bind 12455).




Rosario Giustolisi. Free Rides in Denmark: Lessons from Improperly Generated Mobile Transport Tickets. Nordic Conference on Secure IT Systems, Nordsec'17, Tartu, Estonia, published in Spring LNCS, 2017, to appear.

Alessandro Bruni, Rosario Giustolisi, and Carsten Schürmann. Accountability. Proceedings of Information Security Conference, ICS'17, Vietnam, published in Spring LNCS, 2017, to appear.

Carsten Schürmann and Søren Stauning. Party Endorsement Systems and Internet Voting. Proceedings of E-Vote-ID'17, published as Technical Report Technical University of Tallin, 2017, to appear.

Alessandro Bruni, Eva Drewsen and Carsten Schürmann. A Mechanized Proof of Selene Receipt Freeness and Privacy. Proceedings of E-Vote-ID'17, published in Spring LNCS, 2017, to appear.

Stefan Patachi and Carsten Schürmann. Eos A Universal Verifiable and Coercion Resistant Voting Protocol. Proceedings of E-Vote-ID'17, published in Spring LNCS, 2017, to appear.

Douglas Wikström, Jordi Barrat, Sven Heiberg, Robert Krimmer and Carsten Schürmann. How Could Snowden Attack an Election? Proceedings of E-Vote-ID'17, published in Spring LNCS, 2017, to appear.

Bernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Carsten Schürmann. An Introduction to Voting Rule Verification. Trends in Computational Social Choice, 2017, to appear.


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

Olivier Belanger, Randi Markussen, Lorena Ronquillo and Carsten Schuürmann. Framing Electoral Transparency: A Comparative Analysis of Three E-vote Counting Ceremonies.Presented at IPSA, World Congress of Political Science, Poland. (2016)

Carsten Schüurmann. A Risk-Limiting Audit In Denmark -- A Pilot. International Conference on E-Voting and Identity E-Vote-ID'6, LNCS proceedings, Springer Verlag, 2016


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.