An Introduction to Voting Rule Verification

Beckert, B., Bormer, T., Gore, R., Kirsten, M. & Schürmann, C., 2017, Trends in Computational Social Choice. AI Access, p. 269-289 20 p.

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

Automatic Margin Computation for Risk-Limiting Audits

Beckert, B., Kirsten, M., Klebanov, V. & Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, p. 18-35 (Lecture Notes in Computer Science, Vol. 10141).

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

Focused Natural Deduction

Brock-Nannestad, T. & Schürmann, C., 2010, roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Springer, p. 157 15 p. (Lecture Notes in Computer Science; No. 6397).

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

Automated Analysis of Accountability

Bruni, A., Giustolisi, R. & Schürmann, C., 2017, Information Security - 20th International Conference, {ISC} 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. Springer, p. 417-434 (Lecture Notes in Computer Science, Vol. 10599).

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

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