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, p. 98 111 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

Bruni, A., Drewsen, E. & Schürmann, C., 2017, Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Springer, p. 110-126 (Lecture Notes in Computer Science, Vol. 10615).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Multiparty Session Types as Coherence Proofs

Carbone, M., Montesi, F., Schürmann, C. & Yoshida, N., 2015, 26th International Conference on Concurrency Theory (CONCUR 2015): Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 42. p. 412 15 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Trace Matching in a Concurrent Logical Framework

Cervesato, I., Pfenning, F., Sacchini, J., Schürmann, C. & Simmons, R., 2012, LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, p. 1 12 p. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

A Security Analysis of the Danish Deposit Return System

Garbacz, I., Giustolisi, R., Møller Nielsen, K. & Schürmann, C., 1 Nov 2019, Proceedings of the 9th Workshop on Socio-Technical Aspects in Security and Trust. Springer, (Lecture Notes in Computer Science).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Trust in Internet Election: Observing the Norwegian Decryption and Counting Ceremony

Markussen, R., Ronquillo, L. & Schürmann, C., Oct 2014, 6th International Conference on Electronic Voting (EVOTE), TUT Press, October 2014. (jcg: 26/11/14). Krimmer, R. & Volkamer, M. (eds.). p. 75-82 8 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Eos a Universal Verifiable and Coercion Resistant Voting Protocol

Patachi, S. & Schürmann, C., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, p. 210-227 17 p. (Lecture Notes in Computer Science, Vol. 10615).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

A Declaration of Software Independence

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus

Schack-Nielsen, A. & Schürmann, C., 2010, International Joint Conference on Automated Reasoning (IJCAR). Springer, p. 1 14 p. (Lecture Notes in Computer Science; No. 6173).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Pattern Unification for the Lambda Calculus with Linear and Affine Types

Schack-Nielsen, A. & Schürmann, C., 2010, Proceedings of the 5th Workshop on Logical Frameworks and Meta Languages, Theory and Practice. p. 101 15 p. (EPTCS; No. 34).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

A Practical Module System for LF

Schürmann, C. & Rabe, F., 2009, Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Association for Computing Machinery, p. 40 48 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

A Risk-Limiting Audit In Denmark: A Pilot

Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, p. 192-202 (Lecture Notes in Computer Science, Vol. 10141).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Analysing Vote Counting Algorithms Via Logic

Schürmann, C., Beckert, B. & Gore, R., 2013, Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13). Springer, (Lecture Notes in Computer Science, Vol. 7985).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election Scheme

Schürmann, C., Beckert, B. & Gore, R., 2013, Automated Deduction – CADE-24: Proceedings of the 16th International Conference on Automated Deduction (CADE-24). Springer, p. 135-144 (Lecture Notes in Computer Science, Vol. 7898).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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, p. 196-212 (Lecture Notes in Computer Science, Vol. 12455).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Electronic Elections: Trust Through Engineering

Schürmann, C., 2010, First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE), 2009 . IEEE Communications Society

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Hybrid Extensions in a Logical Framework

Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Measuring Voter Lines

Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE Professional Communication Society, p. 57-65 8 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

On Matching Concurrent Traces

Schürmann, C., Cervesato, I., Pfenning, F. & Simmons, R. J., 2012, Proceedings of the 26th International Workshop on Unification (UNIF 26). p. 14-19

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Party Endorsement Systems and Internet Voting.

Schürmann, C. & Stauning, S., 24 Oct 2017, E-Vote-ID 2017: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Tallinn: TUT Press, p. 207-208 2 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

System Description: Delphin - A Functional Programming Language for Deductive Systems

Schürmann, C. & Poswolsky, A., 2009, Electronic Notes in Theoretical Computer Science: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice (LFMTP 2008. Abel, A. & Urban, C. (eds.). Pergamon Press, Vol. 228. p. 113-120

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

The Twelf Proof Assistant

Schürmann, C., 2009, Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics. Springer Publishing Company, p. 79 83 p. (Lecture Notes In Computer Science, Vol. 5674).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Vote Counting as Mathematical Proof

Schürmann, C. & Pattinson, D., 1 Dec 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (eds.). 2015 ed. Canberra: Springer, Vol. LNAI 9457. p. 464-475 11 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

How Could Snowden Attack an Election?

Wikström, D., Barrat, J., Heiberg, S., Krimmer, R. & Schürmann, C., 24 Oct 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, p. 280-291 11 p. (Lecture Notes in Computer Science, Vol. 10615).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review