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

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

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

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

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

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

Truthful Monadic Abstractions

Brock-Nannestad, T. & Schürmann, C., 2012, IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning. Springer, Vol. 7364. p. 97-110 (Lecture Notes in Computer Science, Vol. 7364).

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

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