We present Minesweeper, a tool to verify that a network satisfies a wide range of intended
properties such as reachability or isolation among nodes, waypointing, black holes …

Networks have grown increasingly complicated. Violations of intended policies can
compromise network availability and network reliability. Network operators need to ensure …

In-network Access Control List (ACL) is an important technique in ensuring network-wide
connectivity and security. As cloud-scale WANs today constantly evolve in size and …

Network configuration verification enables operators to ensure that the network will behave
as intended, prior to deployment of their configurations. Although techniques ranging from …

5, 687, 167 A 6, 115, 384 A 6, 167, 438 A 6, 400, 681 B1 6, 661, 797 B1 6, 687, 229 B1 6,
799, 270 B1 6, 888, 828 B1 6, 993, 593 B2 7, 027, 408 B2 7, 062, 567 B2 7, 095, 715 B2 7 …

Batfish is a tool to analyze network configurations and forwarding. It has evolved from a
research prototype to an industrial-strength product, guided by scalability, fidelity, and …

The ability to tolerate, remediate, and recover from network incidents (caused by device
failures and fiber cuts, for example) is critical for building and operating highly-available web …

Network reliability is critical for large clouds and online service providers like Microsoft. Our
network is large, heterogeneous, complex and undergoes constant churns. In such an …

Today's distributed network control planes are highly sophisticated, with multiple interacting
protocols operating at layers 2 and 3. The complexity makes network configurations highly …

In one embodiment, a method includes creating a catalog of service function (" SF”) profiles,
wherein each of the profiles is associated with an SF and indicates a type of the associ ated …