VeriTable: Fast Equivalence Verification of Multiple Large Forwarding Tables. - Garegin Grigoryan; Yaoqing Liu; Michael Leczinsky; Jun Li 001 (INFOCOM, 2018)