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. 2021
  2. Published

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

  3. Published

    How to weaponize RLAs to discredit an election

    Schürmann, C., 2021.

    Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearchpeer-review

  4. Published

    Voter Perceptions of Trust in Risk-Limiting Audits (Extended)

    Dalela, A., Kulyk, O. & Schürmann, C., 2021

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  5. 2020
  6. 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

  7. 2019
  8. Published

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

  9. 2018
  10. Published

    Choreographies, logically

    Carbone, M., Montesi, F. & Schürmann, C., 2018, In: Distributed Computing. 31, 1, p. 51-67 17 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  11. 2017
  12. 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

  13. Published

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

  14. Published

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

  15. Published

    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 chapterBook chapterResearchpeer-review

  16. Published

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

  17. 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

  18. 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

  19. Published

    Multiparty session types as coherence proofs

    Carbone, M., Montesi, F., Montesi, F., Schürmann, C. & Yoshida, N., 2017, In: Acta Informatica. 54, 3, p. 243-269

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  20. Published

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

  21. 2016
  22. Published

    Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types

    Carbone, M., Lindley, S., Montesi, F., Schürmann, C. & Wadler, P., 2016, In: Leibniz International Proceedings in Informatics (LIPIcs). 59, p. 1-15 15 p., 33.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  23. Published

    Framing Electoral Transparency: A comparative analysis of three e-votes counting ceremonies

    Schürmann, C., Markussen, R., Bélanger, O. & Ronquillo, L., 2016. 18 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearch

  24. 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

  25. Published

    Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.

    Research output: Other contributionResearch

  26. 2015
  27. Published

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

  28. Published

    Measuring Voter Lines

    Schürmann, C. & Wang, J., Nov 2015, 26 p. (ITU Technical Report Series; No. TR-2015-191).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  29. Published

    Certification of ICTs in Elections

    Schürmann, C., Barrat, J., Bolo, E., Bravo, A., Krimmer, R., Neumann, S., Acong Parreno, A., Volkamer, M. & Wolf, P., 2015, Stockholm: International IDEA. 76 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearch

  30. 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

  31. 2014
  32. Published

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

  33. Published

    Verifying Voting Schemes

    Schürmann, C., Beckert, B., Gore, R., Bormer, T. & Wang, J., Apr 2014, In: Journal of Information Security and Applications. 19, 2, p. 115-129

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  34. Published

    Choreographies, Logically

    Carbone, M., Montesi, F. & Schürmann, C., 2014, In: Lecture Notes in Computer Science. 8704, p. 47-62 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  35. 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

  36. Published

    Mode Checking in the Concurrent Logical Framework

    Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  37. Published

    The Use of Open Source Technology in Elections

    Schürmann, C., Clouser, M., Krimmer, R., Nore, H. & Wolf, P., 2014, International IDEA. 54 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookEducation

  38. 2013
  39. Published

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

  40. Published

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

  41. 2012
  42. Published

    Linear Logical Voting Protocols

    DeYoung, H. & Schürmann, C., 2012, In: Lecture Notes in Computer Science. 7187, p. 53-70

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  43. Published

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

  44. Published

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

  45. Published

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

  46. 2011
  47. Published

    Modernizing the Danish democratic process

    Schürmann, C., Oct 2011, In: Association for Computing Machinery. Communications. 2011, 10, p. 27-29

    Research output: Journal Article or Conference Article in JournalConference articleCommunication

  48. Published

    A Bigraph Relational Model

    Beauquier, M. & Schürmann, C., 2011, In: Electronic Proceedings in Theoretical Computer Science. 71, p. 14 28 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  49. Published

    Linear contextual modal type theory

    Schack-Nielsen, A. & Schürmann, C., 2011, IT-Universitetet i København. 6 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  50. Published

    The lambda sigma calculus and strong normalization

    Schack-Nielsen, A. & Schürmann, C., 2011, IT-Universitetet i København. 13 p.

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  51. 2010
  52. 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

  53. 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

  54. 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

  55. Published

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

  56. 2009
  57. Published

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

  58. Published

    Lexicographic Path Induction

    Schürmann, C. & Sarnat, J., 2009, In: Lecture Notes in Computer Science. p. 279 293 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  59. Published

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

  60. Published

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

  61. 2008
  62. Published

    Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

    Schack-Nielsen, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 320-326

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  63. Published

    Practical Programming with Higher-Order Encodings and Dependent Types

    Poswolsky, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 93-107

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  64. Published

    Structural Logical Relations

    Schürmann, C. & Sarnat, J., 2008, In: Logic in Computer Science. p. 69-82

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Previous 1 2 Next

ID: 263621