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

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]

Authors

Qiao Xiang

This author has not been identified. Look up 'Qiao Xiang' in Google

Ridi Wen

This author has not been identified. Look up 'Ridi Wen' in Google

Chenyang Huang 0005

This author has not been identified. Look up 'Chenyang Huang 0005' in Google

Yuxin Wang

This author has not been identified. Look up 'Yuxin Wang' in Google

Franck Le

This author has not been identified. Look up 'Franck Le' in Google