Personal profile

Keywords

  • Information security
  • Security analysis
  • Cryptographic voting protocols
  • Identity management
  • Digital democracy

Fingerprint

Dive into the research topics where Carsten Schürmann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Election Security-by-Design

    Schürmann, C., 26 Jul 2025, Innovative Security Solutions for Information Technology and Communications : 17th International Conference, SecITC 2024, Bucharest, Romania, November 21–22, 2024, Revised Selected Papers. LNCS ed. Cham: Springer Nature Switzerland, Vol. 15595. p. 12-17 6 p. (LNCS, Vol. 15595).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Nominal State-Separating Proofs

    Larsen, M. K. & Schürmann, C., 16 Jun 2025, 2025 IEEE 38th Computer Security Foundations Symposium (CSF). IEEE, p. 363-377 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • Skolemisation for Intuitionistic Linear Logic

    Bruni, A., Ritter, E. & Schürmann, C., 2024, International Joint Conference on Automated Reasoning. Springer

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
  • Thwarting Last-Minute Voter Coercion

    Giustolisi, R., Garjan, M. S. & Schuermann, C., 2024, 2024 IEEE Symposium on Security and Privacy (SP). IEEE, p. 3423-3439 17 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
  • A Logical Interpretation of Asynchronous Multiparty Compatibility

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access