@article{switchasaverifiertowardscalabledata,
  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},
  eprint = {2205.07808},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2205.07808v3},
}