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.
☆13Updated 2 years ago
Related projects: ⓘ
- Tool using automatic template inference to find network misconfigurations☆10Updated 4 years ago
- Mining Network Specifications from Network Configurations☆24Updated 3 years ago
- ☆9Updated 2 years ago
- A framework for automated testing of network analysis and verification tools.☆15Updated 3 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆36Updated 5 years ago
- An implementation of In-Band Network Telemetry in P4☆17Updated 3 years ago
- DEPRECATED - Please check the more recent NG-SDN tutorial (advanced branch): https://github.com/opennetworkinglab/ngsdn-tutorial/tree/adv…☆52Updated 4 years ago
- Simple client-server application for generating user-defined traffic patterns.☆54Updated 9 years ago
- ☆25Updated 2 years ago
- ☆26Updated 4 years ago
- Data sets for experiments and performance evaluations of Delta-net☆11Updated 3 years ago
- Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense☆48Updated 2 years ago
- In-band Telemetry (INT) implementation for bmv2 and TOFINO platforms.☆39Updated last year
- Prototyping networks with P4☆23Updated 5 years ago
- A quick way to learn p4 language.☆26Updated 2 years ago
- ☆34Updated 3 years ago
- NS3 support for P4 programs using bmv2☆29Updated 5 years ago
- Flash Artifact for SIGCOMM22☆12Updated 2 years ago
- In-Network Volumetric DDoS Victim Identification Using Programmable Commodity Switches☆14Updated 7 months ago
- "Offloading Real-time DDoS Attack Detection to Programmable Data Planes" P4 description☆35Updated 3 years ago
- FANcY: FAst In-Network GraY Failure Detection for ISPs☆19Updated 2 years ago
- ☆9Updated 2 years ago
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆13Updated 2 years ago
- Mininet extensions for SRv6☆15Updated 5 years ago
- ☆27Updated 3 years ago
- ☆11Updated last year
- Do Switches Dream of Machine Learning?, HotNets 2019☆58Updated 4 years ago
- P4 BMV2 docker container☆16Updated 5 years ago
- A Programmer Guide of the P4 Language.☆40Updated 6 years ago
- SyNET Network-wide Configuration Synthesis☆24Updated 6 years ago