conftrace_

state-dependent model checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

signaling verification (1) attack detection (1) attack mitigation (1) 5g data plane (1) data plane (1) model checking (1)

Papers

CellDAM: User-Space, Rootless Detection and Mitigation for 5G Data Plane NSDI 2023