Fingerprint
Dive into the research topics where Jens Kanstrup Larsen 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
-
Safe and Secure Software-Defined Networks in P4
Larsen, J. K., 2025, Technical University of Denmark. 217 p.Research output: Book/Report › Ph.D. thesis
Open AccessFile10 Downloads (Orbit) -
P4R-Type: A Verified API for P4 Control Plane Programs
Larsen, J. K., Guanciale, R., Haller, P. & Scalas, A., 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 290.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile66 Downloads (Orbit)
Projects
- 1 Finished
-
Safe and secure software-defined networks in P4
Larsen, J. K. (PhD Student), Scalas, A. (Main Supervisor), Haller, P. K. (Supervisor), Peressotti, M. (Examiner) & Thiemann, P. (Examiner)
01/08/2022 → 14/01/2026
Project: PhD