Search papers, labs, and topics across Lattice.
The paper introduces NEST, a framework for runtime verification of application-level protocols by synthesizing packet-level monitors enforced directly in the network data plane. This approach avoids application code instrumentation by generating monitors from session types, extended to handle packet loss and reordering. Evaluation using P4 implementations on microservice and network-function models demonstrates NEST's ability to enforce realistic, non-trivial protocols.
Guarantee application-level protocol compliance without touching application code by pushing runtime verification into the network itself.
This paper introduces NEST (Network-Enforced Session Types), a runtime verification framework that moves application-level protocol monitoring into the network fabric. Unlike prior work that instruments or wraps application code, we synthesize packet-level monitors that enforce protocols directly in the data plane. We develop algorithms to generate network-level monitors from session types and extend them to handle packet loss and reordering. We implement NEST in P4 and evaluate it on applications including microservice and network-function models, showing that network-level monitors can enforce realistic non-trivial protocols.
