2.1k citations
- University of California, BerkeleyUS22 papers
- Berkeley CollegeUS6 papers
- Carnegie Mellon UniversityUS2 papers
- École Polytechnique Fédérale de LausanneCH2 papers
- Illinois Institute of TechnologyUS2 papers
- Max Planck Institute for InformaticsDE2 papers
- Max Planck Institute for Software SystemsDE2 papers
- Stanford UniversityUS2 papers
- Technical University of DenmarkDK2 papers
- Agenzia Spaziale ItalianaIT1 paper
- Aix-Marseille UniversitéFR1 paper
- Applied Mathematics (United States)US1 paper
Showing cs.NIShow all
2 papers · 1 filter
cs.NI2016★ 14 cited
Verifying Reachability in Networks with Mutable Datapaths
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…
cs.NI2014
A Primer on IPv4 Scarcity
Philipp Richter, Mark Allman, Randy Bush +1
With the ongoing exhaustion of free address pools at the registries serving the global demand for IPv4 address space, scarcity has become reality. Networks in need of address space…