Hongyi Zeng, Shidong Zhang, Fei Ye, Vimalkumar Jeyakumar, Mickey Ju, Junda Liu, Nick McKeown, Amin Vahdat. Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks. In Ratul Mahajan, Ion Stoica, editors, Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2014, Seattle, WA, USA, April 2-4, 2014. pages 87-99, USENIX Association, 2014. [doi]
Abstract is missing.