NEST: Network Enforced Session Types (Technical Report)

Jens Kanstrup Larsen, Alceste Scalas, Guy Amir +3

This paper introduces NEST (Network-Enforced Session Types), a runtime verification framework that moves application-level protocol monitoring into the network fabric. Unlike prior…