@inproceedings{a1de19cb1f374184b18590be3db6cdd7,
title = "NEST: Network Enforced Session Types",
abstract = "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.",
keywords = "P4, Session types, Programmable data planes, Runtime verification",
author = "Larsen, \{Jens Kanstrup\} and Alceste Scalas and Guy Amir and Jules Jacobs and Jana Wagemaker and Nate Foster",
year = "2026",
doi = "10.4230/LIPIcs.ECOOP.2026.17",
language = "English",
volume = "372",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
booktitle = "Proceedings of the 40th European Conference on Object-Oriented Programming (ECOOP 2026)",
note = "40th European Conference on Object-Oriented Programming, ECOOP ; Conference date: 29-06-2026 Through 03-07-2026",
}