Qiao Xiang, Ridi Wen, Chenyang Huang 0005, Yuxin Wang, Franck Le. Network can check itself: scaling data plane checking via distributed, on-device verification. In Proceedings of the 21st ACM Workshop on Hot Topics in Networks, HotNets 2022, Austin, Texas, November 14-15, 2022. pages 85-92, ACM, 2022. [doi]
Abstract is missing.