Programmable data planes allow users to define their own data plane algorithms for network
devices including appropriate data plane application programming interfaces (APIs) which …

With the growth of network applications such as 5G and artificial intelligence, network
security techniques, ie, the techniques that detect various attacks (eg, well-known denial-of …

Traditionally, the data plane has been designed with fixed functions to forward packets using
a small set of protocols. This closed-design paradigm has limited the capability of the …

The emergence of the IoT, cloud systems, data centers, and 5G networks is increasing the
demand for a rapid development of new applications and protocols at all levels of the …

This paper presents Aquila, the first practically usable verification system for Alibaba's
production-scale programmable data planes. Aquila addresses four challenges in building a …

Centralized data plane verification (DPV) faces significant scalability issues in large
networks (ie, the verifier being a performance bottleneck and single point of failure and …

Ensuring the correctness of programmable data planes is important. Testing offers
comprehensive correctness checking, including detecting both code bugs and non-code …

Programmable packet-processing devices such as programmable switches and network
interface cards are becoming mainstream. These devices are configured in a domain …

Sketches are useful for network measurement thanks to their low resource overheads and
theoretically bounded accuracy. However, their network-wide deployment suffers from the …

We present P4Testgen, a test oracle for the P416 language. P4Testgen supports automatic
test generation for any P4 target and is designed to be extensible to many P4 targets. It …