Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device VerificationQiao XiangChenyang Huanget al.2023SIGCOMM 2023
Network Can Check Itself: Scaling Data Plane Checking via Distributed, On-Device VerificationQiao XiangRidi Wenet al.2022HotNets 2022