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.
☆43Mar 20, 2026Updated this week
Alternatives and similar repositories for PANTHER
Users that are interested in PANTHER are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Common User Passwords Profiler (CUPP) in Rust☆26Aug 8, 2024Updated last year
- BountyDork is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for perf…☆26Jun 25, 2024Updated last year
- A place (wiki) to coordinate the activity of the community of people interested in the network-quality project.☆16Jul 29, 2024Updated last year
- Cost-aware network traffic analysis☆13Dec 20, 2023Updated 2 years ago
- A differential fuzzing framework for the QUIC protocol☆19Nov 21, 2023Updated 2 years ago
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 7 years ago
- Code for Tracing Transactions Across Cryptocurrency Ledgers (which focuses on ShapeShift)☆11Oct 15, 2019Updated 6 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- Syllabus d'apprentissage du langage C et des systèmes informatiques pour ingénieurs et informaticiens☆20Nov 23, 2023Updated 2 years ago
- ☆13Oct 1, 2020Updated 5 years ago
- Test tool for error cases of QUIC and HTTP/3☆38Apr 23, 2025Updated 11 months ago
- netflow_parser☆22Mar 16, 2026Updated last week
- In-progress version of draft-ietf-quic-multipath☆84Updated this week
- This repository contains the dataset of the paper ARGUS: Context-Based Detection of Stealthy IoT Infiltration Attacks☆12Apr 28, 2023Updated 2 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆13Jun 20, 2024Updated last year
- ☆11Dec 5, 2025Updated 3 months ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- Wireshark configuration profile for Zigbee traffic☆15May 5, 2022Updated 3 years ago
- Multi-adapter bucket-based file system abstraction. #golang☆14Updated this week
- Various P4 tools, programs and scripts to allow developers try the P4 experimental features in ONOS☆14Jul 19, 2018Updated 7 years ago
- Implementing a semi supervised learning algorithm using SVM as base classifier☆10Apr 6, 2013Updated 12 years ago
- For engineers seeking a fast, memory-efficient database, Rapto provides transposition-heuristic storage, low memory footprint and high-pe…☆23Oct 10, 2025Updated 5 months ago
- QUICforge is an experimental python tool for request forgery attacks with QUIC☆24May 1, 2022Updated 3 years ago
- The Static Android Analysis Framework.☆40Dec 4, 2015Updated 10 years ago
- ns3-based network simulator for QUIC testing☆183Nov 24, 2025Updated 4 months ago
- ☆15Apr 25, 2017Updated 8 years ago
- DeepMatch: Practical Deep Packet Inspection in the Data Plane using Network Processors☆15Dec 21, 2020Updated 5 years ago
- Specs for new networking hardware offloads.☆39Feb 5, 2025Updated last year
- Mon(IoT)r Lab Testbed Software - Core Component☆13Aug 9, 2024Updated last year
- This repository contains the code for the paper "Website Fingerprinting in the Age of QUIC" (PETS 2021).☆22Jul 12, 2023Updated 2 years ago
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆14Aug 22, 2022Updated 3 years ago
- A Federated Learning based Android Malware Classification System☆28Feb 15, 2024Updated 2 years ago
- A CLI tool to convert OpenBSD Packet Filter configuration files (`pf.conf`) to JSON and vice versa.☆31Jan 8, 2026Updated 2 months ago
- QUIC and HTTP/3 visualization tools☆196Oct 16, 2025Updated 5 months ago
- Connectors for the Zeek NetControl framework☆19Feb 4, 2025Updated last year
- Network Performance Framework: easy-to-use experiment manager with automated testing, result collection, and graphing☆46Feb 26, 2026Updated 3 weeks ago
- Remotely Triggered Black Hole Configurations☆13Jan 12, 2017Updated 9 years ago
- A framework for automated testing of network analysis and verification tools.☆18Feb 23, 2021Updated 5 years ago
- A load generator for Salt☆14Mar 2, 2022Updated 4 years ago