conftrace_

network address translation

1 paper

Explore in graph

Also known as

NAT

Co-occurring keywords · papers mentioning both

access control list (1) real-time verification (1) memory cost (1) forwarding behavior (1) data plane (1) network verification (1) network model (1) sparse recovery (1)

Papers

APKeep: Realtime Verification for Real Networks NSDI 2020