Network can check itself: scaling data plane checking via distributed, on-device verification. - Qiao Xiang; Ridi Wen; Chenyang Huang 005; Yuxin Wang; Franck Le (HotNets, 2022)

Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification. - Qiao Xiang; Ridi Wen; Chenyang Huang 005; Jiwu Shu; Franck Le (CoRR, 2022)

Beyond a Centralized Verifier: Scaling Data Plane Checking via Distributed, On-Device Verification. - Qiao Xiang; Chenyang Huang 005; Ridi Wen; Yuxin Wang; Xiwen Fan; Zaoxing Liu; Linghe Kong; Dennis Duan; Franck Le; Wei Sun (SIGCOMM, 2023)