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.
☆23Updated this week
Related projects: ⓘ
- Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for mo…☆11Updated 8 months ago
- Public website for more OSMud information☆16Updated last year
- QUICforge is an experimental python tool for request forgery attacks with QUIC☆20Updated 2 years ago
- This tool is used for generating Manufacture Usage Description(MUD) from Device Traffic Trace(PCAP)☆31Updated last year
- Google Client Implementation in Scapy☆13Updated 6 years ago
- Student project for advanced networking course. The set of scripts to provision VMs, build a virtual exchange point and run virtual campu…☆25Updated 4 years ago
- ☆14Updated 2 years ago
- 👋 Simple examples of enabling Multipath TCP with different programming languages☆13Updated last month
- ☆19Updated 5 years ago
- ditto: WAN Traffic Obfuscation at Line Rate (source code belonging to the NDSS 2022 paper)☆27Updated 2 years ago
- ns3-based network simulator for QUIC testing☆150Updated last week
- Spindump is an in-network latency measurement tool with support for QUIC and TCP☆61Updated 3 years ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- Extend Open vSwitch with BPF programs at runtime☆32Updated 4 years ago
- ☆23Updated 6 months ago
- A black-box fuzzing framework for the Intent-Based Networking (IBN)☆12Updated last year
- The PQUIC implementation, a framework that enables QUIC clients and servers to dynamically exchange protocol plugins that extend the prot…☆126Updated 10 months ago
- Mininet extension to make experimenting with IP networks easy☆62Updated last year
- An O-RAN compliant runtime intrusion detection system (xApp) for layer-3 (L3) celluar attack detection☆34Updated 2 weeks ago
- scripts & tools for QUIC proformance profiling☆18Updated 4 years ago
- Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)☆47Updated 4 months ago
- Transparent Security is a solution for identify the source devices of a DDoS attack and mitigates the attack in the customer premises or …☆32Updated last year
- Attacks against QUIC (CVE-2022-30591)☆18Updated last year
- A differential fuzzing framework for the QUIC protocol☆14Updated 10 months ago
- Tool for modifying and replaying 5G protocol network traffic☆83Updated 7 months ago
- In-progress version of draft-ietf-quic-multipath☆50Updated this week
- BPFabric implementations. Details about this work are available in the research paper "BPFabric: Data Plane Programmability for Software …☆30Updated 7 months ago
- Telco pIPeline benchmarking SYstem☆19Updated last week
- A Linux Kernel module implementing support for CCP congestion control algorithms☆21Updated 6 months ago
- List of (automatic) protocol reverse engineering tools for network protocols☆138Updated 3 months ago