Markus Krabbe Larsen

Orcid: 0009-0001-1720-6895

According to our database¹, Markus Krabbe Larsen authored at least 2 papers in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

An Induction Principle for Hybrid Arguments in Nominal-SSProve.

[DOI]

IACR Cryptol. ePrint Arch., 2025

Nominal State-Separating Proofs.

[DOI]

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025