Enforcement

Dynamic Property Enforcement in Programmable Data Planes

Network programmers can currently deploy an arbitrary set of protocols in forwarding devices through data plane programming languages such as P4. However, as any other type of software, P4 programs are subject to bugs and misconfigurations. Network …

Dynamic Property Enforcement in Programmable Data Planes

An optional shortened abstract.