anubhavnidhi / batfish
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
☆14Updated 2 years ago
Alternatives and similar repositories for batfish
Users that are interested in batfish are comparing it to the libraries listed below
Sorting:
- Mining Network Specifications from Network Configurations☆30Updated 4 years ago
- Tool using automatic template inference to find network misconfigurations☆12Updated 4 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆37Updated 6 years ago
- ☆10Updated 2 years ago
- Data repository of NAssim☆25Updated 2 years ago
- A framework for automated testing of network analysis and verification tools.☆16Updated 4 years ago
- SyNET Network-wide Configuration Synthesis☆27Updated 7 years ago
- Prototyping networks with P4☆22Updated 5 years ago
- Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense☆50Updated 2 years ago
- ☆25Updated 3 years ago
- ☆34Updated 4 years ago
- NS3 support for P4 programs using bmv2☆33Updated 6 years ago
- In-Network Volumetric DDoS Victim Identification Using Programmable Commodity Switches☆15Updated last year
- In-band Telemetry (INT) implementation for bmv2 and TOFINO platforms.☆41Updated 2 years ago
- Ripple: A Programmable, Decentralized Link-Flooding Defense Against Adaptive Adversaries☆25Updated 2 years ago
- ☆29Updated 2 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆33Updated 3 years ago
- An implementation of In-Band Network Telemetry in P4☆19Updated 3 years ago
- Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.☆15Updated 3 years ago
- Do Switches Dream of Machine Learning?, HotNets 2019☆62Updated 5 years ago
- ☆30Updated 4 years ago
- In-Network Nmap (Scanner)☆34Updated 3 years ago
- ☆9Updated 3 years ago
- P4 based BIER implementation including control plane.☆13Updated 6 years ago
- Mitigating Network Covert Channels while Preserving Performance☆18Updated 4 years ago
- NetHCF: Enabling Line-rate and Adaptive Spoofed IP Traffic Filtering☆13Updated 3 years ago
- A quick way to learn p4 language.☆26Updated 3 years ago
- Heavy-Hitter detection in P4 switch ASIC using Inter-Packet Gap☆24Updated 9 months ago
- ☆26Updated 4 years ago
- SRv6 Controller☆26Updated 6 years ago