@misc{indiciae496be099100c, title = {Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification}, author = {Qiao Xiang and Ridi Wen and Chenyang Huang and Yuxin Wang and Franck Le}, year = {2022}, url = {https://arxiv.org/abs/2205.07808}, note = {Source identifier: 2205.07808} }