Research output per year
Research output per year
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
-
Skolemisation for Intuitionistic Linear Logic
Bruni, A., Ritter, E. & Schürmann, C., 2024, International Joint Conference on Automated Reasoning. SpringerResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-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 chapter › Article in proceedings › Research › peer-review
Open Access -
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, Vol. 1. p. 254-266 16 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
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.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open Access -
Modelling human threats in security ceremonies
Giustolisi, R., Schürmann, C. & Bella, G., 2022, In: Journal of Computer Security. 30, 3, p. 411–433 23 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile
-
Cyber Security Summer School 2020 & Cybersecurity Days
Schürmann, C. (PI)
02/07/2020 → 01/12/2020
Project: Research
-
ENUMEDS: Enabling User-Accountable Mechanisms in Decision Systems
Giustolisi, R. (PI), Schürmann, C. (CoI), Sheikhi Garjan, M. (CoI) & Ramadan Mohammed Abdalla, M. (CoI)
01/07/2021 → 31/07/2023
Project: Research
-
NFC: Nationalt Forsvarsteknologisk Center
Schürmann, C. (PI)
Danish Agency for Higher Education and Science
01/01/2024 → 31/12/2024
Project: Research
-
Cyberskills: Youth Community in Cybersecurity
Bruni, A. (PI), Barkhuus, L. (CoI), Schürmann, C. (CoI) & Balle, M. L. (CoI)
01/08/2020 → 31/12/2023
Project: Research
-
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
Project: Research
Press/Media
-
-
KL om nye it-enheder: ”Ikke en idé der er groet i vores baghave”
05/06/2025
1 Media contribution
Press/Media: Press / Media
-
CYBERSIKKERHED AMERIKANSK TOP-EKSPERT ADVARER MOD STORMAGTERNES FORBRØDRING Trump presser russiske hackere mod Danmark
09/05/2025
1 Media contribution
Press/Media: Press / Media
-
Dansk supercomputer leder efter kunder: »Flere af os spekulerede over, hvad vi egentlig skulle bruge den til«
09/05/2025
1 Media contribution
Press/Media: Press / Media
-
Amerikansk toprådgiver advarer: Trump presser russiske hackere mod Danmark
06/05/2025
1 Media contribution
Press/Media: Press / Media
Activities
- 2 Organisation and participation in workshop, seminar, course
-
Code Scanning
Schürmann, C. (Organizer)
7 Apr 2014 → 20 May 2014Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
-
Verifying Security Protocols in Tamarin
Schürmann, C. (Organizer)
25 Jan 2016 → 29 Jan 2016Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course