Publication:569

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