2026-09-08T11:38:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:26113 2026-09-05T19:37:22Z ddc:004 open_access

NEST: Network Enforced Session Types Larsen, Jens Kanstrup Scalas, Alceste Amir, Guy Jacobs, Jules Wagemaker, Jana Foster, Nate Session types runtime verification P4 programmable data planes 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 synthesise 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jens Kanstrup Larsen and Alceste Scalas and Guy Amir and Jules Jacobs and Jana Wagemaker and Nate Foster 2026 Is Part Of LIPIcs, Volume 372, 40th European Conference on Object-Oriented Programming (ECOOP 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2026.17 urn:nbn:de:0030-drops-261137 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2026.17 eng https://creativecommons.org/licenses/by/4.0/legalcode