Research output per year
Research output per year
Fingerprint
Dive into the research topics where Markus Krabbe Larsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
- 1 Article in proceedings
-
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 chapter › Article in proceedings › Research › peer-review
Projects
- 1 Finished
-
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), Okkels, C. B. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 31/12/2025
Project: Research