NEST synthesizes packet-level monitors from session types to enforce protocols in the data plane, with extensions for packet loss and reordering, implemented in P4 and evaluated on microservices and network functions.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
NEST: Network Enforced Session Types (Technical Report)
NEST synthesizes packet-level monitors from session types to enforce protocols in the data plane, with extensions for packet loss and reordering, implemented in P4 and evaluated on microservices and network functions.