55 citations · 128 across the 19 of their papers we have counts for
1 paper · 1 filter
Aurojit Panda, Ori Lahav, Katerina Argyraki +2
Great progress has been made recently in verifying the correctness of router forwarding tables. However, these approaches do not work for networks containing middleboxes such as ca…