NEST: Network Enforced Session Types (Technical Report)
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915952243769344 |
|---|---|
| author | Larsen, Jens Kanstrup Scalas, Alceste Amir, Guy Jacobs, Jules Wagemaker, Jana Foster, Nate |
| author_facet | Larsen, Jens Kanstrup Scalas, Alceste Amir, Guy Jacobs, Jules Wagemaker, Jana Foster, Nate |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_21795 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | NEST: Network Enforced Session Types (Technical Report) Larsen, Jens Kanstrup Scalas, Alceste Amir, Guy Jacobs, Jules Wagemaker, Jana Foster, Nate Programming Languages D.2.4 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. |
| title | NEST: Network Enforced Session Types (Technical Report) |
| topic | Programming Languages D.2.4 |
| url | https://arxiv.org/abs/2604.21795 |