Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security.

Ehab Al-Shaer, Wilfredo Marrero, Adel El-Atawy, Khalid Elbadawi

Browse the full ICNP paper archive.