Billede af Carsten Schürmann
20062023

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2023

    A Logical Interpretation of Asynchronous Multiparty Compatibility

    Carbone, M., Marin, S. & Schürmann, C., 16 okt. 2023, A Logical Interpretation of Asynchronous Multiparty Compatibility. Springer, Cham, Bind 14330. (Lecture Notes in Computer Science, Bind 14330).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Receipt-Free Electronic Voting from zk-SNARK

    Giustolisi, R., Schürmann, C. & Sheikhi Garjan, M., 2023, 2023 International Conference on Security and Cryptography (SECRYPT). SCITEPRESS Digital Library, Bind 1. s. 254-266 16 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Security Awareness Training Through Experiencing the Adversarial Mindset

    Dalgaard, J. C., Kulyk, O., Schürmann, C. & Janssen, N. A., 2023, Usable Security and Privacy (USEC) Symposium 2023.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • 2022

    POSTER: Enabling User-Accountable Mechanisms in Decision Systems

    Giustolisi, R. & Schürmann, C., 2022, International Conference on Applied Cryptography and Network Security. Springer, s. 600-605 (Lecture Notes in Computer Science, Bind 13285).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2021

    A Declaration of Software Independence

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 98 111 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation

    Daukantas, I., Bruni, A. & Schürmann, C., 2021, Proceedings of PPDP (Principles of Declarative Programing Languages). Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 2020

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2019

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Technical and Socio-Technical Attacks on the Danish Party Endorsement System

    Schürmann, C. & Bruni, A., 24 sep. 2019, Electronic Voting. Springer, Bind LLNCS11759. s. 200-215 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2018

    Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)

    Bruni, A., Jørgensen, T. S., Petersen, T. G. & Schürmann, C., 2018, Security Standardisation Research : 4th International Conference. Cremers, C. & Lehmann, A. (red.). Darmstadt, Germany: Springer, s. 21-36 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2017

    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, s. 192-202 (Lecture Notes in Computer Science, Bind 10141).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 417-434 (Lecture Notes in Computer Science, Bind 10599).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 18-35 (Lecture Notes in Computer Science, Bind 10141).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 210-227 17 s. (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • How Could Snowden Attack an Election?

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Party Endorsement Systems and Internet Voting.

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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, s. 110-126 (Lecture Notes in Computer Science, Bind 10615).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2016

    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, s. 57-65 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2015

    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, Bind 42. s. 412 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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. (red.). 2015 udg. Canberra: Springer, Bind LNAI 9457. s. 464-475 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2014

    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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

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

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2013

    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, Bind 7985).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 135-144 (Lecture Notes in Computer Science, Bind 7898).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2012

    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). s. 14-19

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 1 12 s. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Truthful Monadic Abstractions

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2010

    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, s. 1 14 s. (Lecture Notes in Computer Science; Nr. 6173).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 157 15 s. (Lecture Notes in Computer Science; Nr. 6397).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. s. 101 15 s. (EPTCS; Nr. 34).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2009

    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, s. 40 48 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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. (red.). Pergamon Press, Bind 228. s. 113-120

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 79 83 s. (Lecture Notes In Computer Science, Bind 5674).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review