Breaking Ambient Trust: In-Network Per-Process Access Control Against Lateral Movement

arXiv:2608.29979 · cs.CR, cs.NI · Submitted 2026-08-30 · Read on arXiv

cs.CR, cs.NI

Submitted: 2026-08-30

Updated: 2026-08-30

Code: https://github.com/p4lang/behavioral-model

Project page: https://ebpf.io

Terminology

Abstraction — 6× in this paper · explained in 1 episode
Trace — 5× in this paper · explained in 2 episodes
Verification — 4× in this paper · explained in 2 episodes
Adam — 3× in this paper · explained in 2 episodes
Benchmark — 2× in this paper · explained in 2 episodes
Data Exfiltration Toolkit — 2× in this paper
Actor — 1× in this paper · explained in 3 episodes
Core — 1× in this paper · explained in 2 episodes
Formal Methods — 1× in this paper · explained in 3 episodes
Formal Verification — 1× in this paper · explained in 2 episodes
Heterogeneous Graph — 1× in this paper · explained in 2 episodes
Traffic Control — 1× in this paper

Related papers