Publikationer pr. år
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
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
Publikation
-
Skolemisation for Intuitionistic Linear Logic
Bruni, A., Ritter, E. & Schürmann, C., 2024, International Joint Conference on Automated Reasoning. SpringerPublikation: 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 -
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 kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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 kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Modelling human threats in security ceremonies
Giustolisi, R., Schürmann, C. & Bella, G., 2022, I: Journal of Computer Security. 30, 3, s. 411–433 23 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil
Aktiviteter
- 2 Organisation og deltagelse i workshop, seminar og kursus
-
Code Scanning
Schürmann, C. (Arrangør)
7 apr. 2014 → 20 maj 2014Aktivitet: 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. 2016Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus
Presse/medier
-
CYBERSIKKERHED AMERIKANSK TOP-EKSPERT ADVARER MOD STORMAGTERNES FORBRØDRING Trump presser russiske hackere mod Danmark
09/05/2025
1 Mediebidrag
Presse/medie
-
Dansk supercomputer leder efter kunder: »Flere af os spekulerede over, hvad vi egentlig skulle bruge den til«
09/05/2025
1 Mediebidrag
Presse/medie
-
Amerikansk toprådgiver advarer: Trump presser russiske hackere mod Danmark
06/05/2025
1 Mediebidrag
Presse/medie
-
Amerikansk toprådgiver advarer: Trump presser russiske hackere mod Danmark
06/05/2025
1 Mediebidrag
Presse/medie
-
Nyt EU-direktiv er godt nyt for vores cyberforsvar og for etiske hackere
05/05/2025
1 Mediebidrag
Presse/medie
-
Cyber Security Summer School 2020 & Cybersecurity Days
Schürmann, C. (PI)
02/07/2020 → 01/12/2020
Projekter: Projekt › Forskning
-
-
Meta-CLF2: Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security
Schürmann, C. (PI), Bruni, A. (CoI) & Marin, S. (CoI)
01/03/2016 → 01/03/2019
Projekter: Projekt › Forskning
-
CIDI: Cybersecure IoT in Danish Industry
Schürmann, C. (PI) & Schneider, P. (CoI)
01/02/2019 → 31/05/2022
Projekter: Projekt › Forskning
-
DIREC: Digital Research Centre Denmark
Godskesen, J. C. (PI), Barkhuus, L. (PI), Bonnet, P. (PI), Brabrand, C. (PI), Schürmann, C. (PI), Sekara, V. (PI), David, B. M. (PI), Husfeldt, T. (PI), Curticapean, R.-C. (PI), Limaye, N. (PI), Aumüller, M. (PI), Jacob, R. (PI), Risi, S. (PI), Wasowski, A. (PI), Birch Okkels, C. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 30/09/2025
Projekter: Projekt › Forskning