ITU
Carsten Schürmann

Carsten Schürmann

Full Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C13

Phone: +45 72185282

Information Desk: 72185000

View graph of relations

  1. Article in proceedings › Research › Peer-reviewed
  2. Published

    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 chapterArticle in proceedingsResearchpeer-review

  3. Published

    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 chapterArticle in proceedingsResearchpeer-review

  4. Published

    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 chapterArticle in proceedingsResearchpeer-review

  5. Published

    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 chapterArticle in proceedingsResearchpeer-review

  6. Published

    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 chapterArticle in proceedingsResearchpeer-review

  7. Published

    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 chapterArticle in proceedingsResearchpeer-review

  8. Published

    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 chapterArticle in proceedingsResearchpeer-review

  9. Published

    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 chapterArticle in proceedingsResearchpeer-review

  10. Published

    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 chapterArticle in proceedingsResearchpeer-review

  11. Published

    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 chapterArticle in proceedingsResearchpeer-review

ID: 263621