Publications - Academic papers

Planned

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"

2017

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.

2016

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

2015

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.

2014

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.

2013

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.

2012

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.

2011

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.

2010

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.

2009

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.

2007

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

2006

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

2004

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