231 citations · 472 across the 20 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.NI2014★ 25 cited
Verifying Isolation Properties in the Presence of Middleboxes
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…
cs.NI2014
Exploring the Limits of Static Failover Routing
Marco Chiesa, Andrei Gurtov, Aleksander Mądry +5
We present and study the Static-Routing-Resiliency problem, motivated by routing on the Internet: Given a graph , a unique destination vertex , and an integer constant ,…