ElNiak / PANTHER
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
☆36Updated last month
Alternatives and similar repositories for PANTHER:
Users that are interested in PANTHER are comparing it to the libraries listed below
- Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for mo…☆13Updated last year
- Transparent Security is a solution for identify the source devices of a DDoS attack and mitigates the attack in the customer premises or …☆34Updated last year
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- Student project for advanced networking course. The set of scripts to provision VMs, build a virtual exchange point and run virtual campu…☆28Updated 4 years ago
- Network Performance Framework: easy-to-use experiment manager with automated testing, result collection, and graphing☆43Updated 2 weeks ago
- Mininet extension to make experimenting with IP networks easy☆67Updated 2 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆32Updated 3 years ago
- A framework for automated testing of network analysis and verification tools.☆16Updated 4 years ago
- Public website for more OSMud information☆18Updated last year
- A set of mininet scripts to simulate multi-node frr, bgp, evpn, vxlan, etc.☆16Updated 8 months ago
- Extend Open vSwitch with BPF programs at runtime☆32Updated 5 years ago
- ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)☆28Updated 3 years ago
- BPFabric implementations. Details about this work are available in the research paper "BPFabric: Data Plane Programmability for Software …☆31Updated last year
- Cost-aware network traffic analysis☆10Updated last year
- User space agent and eBPF programs that provide INT support to end hosts☆15Updated 3 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated 2 years ago
- P4 Integrated Network Stack (PINS)☆34Updated 2 weeks ago
- The SD-Fabric data plane☆33Updated 2 years ago
- ☆14Updated 2 years ago
- Google Client Implementation in Scapy☆14Updated 6 years ago
- RARE for P4Lang bmv2 dataplane target☆29Updated 3 months ago
- Portable NIC Architecture☆57Updated last year
- Retargetable compiler for the P4 language☆119Updated 3 months ago
- Telco pIPeline benchmarking SYstem☆19Updated 7 months ago
- Automatic Test generator and Differential Tester for DNS Nameserver implementations☆33Updated last year
- Open-source code for RFCNLP paper.☆57Updated 2 years ago
- ☆15Updated last year
- ☆15Updated last year
- VPP project, Newnet@TelecomParisTech☆9Updated 4 years ago
- ☆22Updated 11 months ago