Verifying Reachability in Networks with Mutable Datapaths

@inproceedings{Panda2017VerifyingRI,
  title={Verifying Reachability in Networks with Mutable Datapaths},
  author={Aurojit Panda and Ori Lahav and Katerina J. Argyraki and Shmuel Sagiv and Scott Shenker},
  booktitle={NSDI},
  year={2017}
}
Recent work has made great progress in verifying the forwarding correctness of networks [26–28, 35]. However, these approaches cannot be used to verify networks containing middleboxes, such as caches and firewalls, whose forwarding behavior depends on previously observed traffic. We explore how to verify reachability properties for networks that include such “mutable datapath” elements, both for the original network and in the presence of failures. The main challenge lies in handling large and… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

5 Figures & Tables

Topics

Statistics

0102020172018
Citations per Year

Citation Velocity: 13

Averaging 13 citations per year over the last 2 years.

Learn more about how we calculate this metric in our FAQ.