Network can check itself: scaling data plane checking via distributed, on-device verification.

Qiao Xiang, Ridi Wen, Chenyang Huang, Yuxin Wang, Franck Le

Browse the full HOTNETS paper archive.