| EU Project | TaRDIS |
|---|---|
| EU Programme | |
| Internal ID | 569 |
| Publication Type | Peer reviewed articles |
| Title | P4R-Type: A Verified API for P4 Control Plane Programs |
| Authors | Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller, and Alceste Scalas |
| Year | 2023 |
| DOI | https://doi.org/10.1145/3622866 |
| Research Category | Cybersecurity, Privacy, and Trust |