Spring til hovednavigation Spring til søgning Spring til hovedindhold
Billede af Carsten Schürmann

Carsten Schürmann

 https://orcid.org/0000-0003-4793-0099
20062025

Publikationer pr. år

Personlig profil

Emneord

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

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Carsten Schürmann er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere

  • 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 udg. Cham: Springer Nature Switzerland, Bind 15595. s. 12-17 6 s. (LNCS, Bind 15595).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Nominal State-Separating Proofs

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Skolemisation for Intuitionistic Linear Logic

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Thwarting Last-Minute Voter Coercion

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

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • 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, Bind 14330. (Lecture Notes in Computer Science, Bind 14330).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
Se alle 67 publikationer
Se alle 19 projekter
Se alle 347 presse/medier
  • 2 Organisation og deltagelse i workshop, seminar og kursus

  • Code Scanning

    Schürmann, C. (Arrangør)

    7 apr. 2014 → 20 maj 2014

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

  • Verifying Security Protocols in Tamarin

    Schürmann, C. (Arrangør)

    25 jan. 2016 → 29 jan. 2016

    Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus