Project P4R-Type
Safe and Secure Software-Defined Networks in P4 The project P4R-Type: Safe and secure software-defined networks in P4 studies new methods for ensuring the correctness of software-defined networks based on the P4 standard. More specifically, the project focus are control plane applications, i.e., programs that configure and update P4-enabled network switches via the P4Runtime API. The project was funded by DTU with a strategic Nordic Five Tech alliance grant from August 2022 to July 2025. I was Principal Investigator. The research is a collaboration with Roberto Guanciale and Philipp Haller at KTH Royal Institute of Technology (Sweden). At DTU, the project involved (besides me):