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 …

Remote direct memory access (RDMA) has gained popularity in cloud datacenters. In
RDMA, clients bypass server CPUs and directly read/write remote memory. Recent findings …

With the rapid growth of online applications and the increasing complexity of network
architecture, network security faces significant challenges. As a promising approach, the …

Network configuration updates are frequent nowadays to adapt to the rapid evolution of
networks. To ensure the safety of the configuration update, network verification can be used …

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

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 …

We present Leapfrog, a Coq-based framework for verifying equivalence of network protocol
parsers. Our approach is based on an automata model of P4 parsers, and an algorithm for …

This paper presents YU, the first verification system for checking traffic load properties under
arbitrary failure scenarios that can scale to production Wide Area Networks (WANs). Building …

We present the first semantics of the network data plane programming language P4 able to
adequately capture all key features of P416, the most recent version of P4, including …

Verifying network programs is challenging because of how they divide labor: the control
plane computes high level routes through the network and compiles them to device …