14 citations · 30 across the 12 of their papers we have counts for
1 paper · 1 filter
Aurojit Panda, Ori Lahav, Katerina Argyraki +2
Recent work has made great progress in verifying the forwarding correctness of networks . However, these approaches cannot be used to verify networks containing middleboxes, such a…