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.
☆42Aug 3, 2026Updated last 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:
- Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for mo…☆14Jan 7, 2024Updated 2 years ago
- Common User Passwords Profiler (CUPP) in Rust☆28Aug 8, 2024Updated 2 years ago
- BountyDrive is a comprehensive tool designed for penetration testers and cybersecurity researchers. It integrates various modules for per…☆18Jul 15, 2024Updated 2 years ago
- Detection and identification of bat species in audio recordings by applying multi-label Machine Learning techniques.☆16Aug 29, 2023Updated 2 years ago
- A place (wiki) to coordinate the activity of the community of people interested in the network-quality project.☆16Jul 29, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Over the net fuzzing of QUIC servers or clients.☆23Nov 21, 2025Updated 8 months ago
- High-Speed Stateful Packet Processor for Programmable Switches☆13Dec 18, 2022Updated 3 years ago
- A differential fuzzing framework for the QUIC protocol☆20Nov 21, 2023Updated 2 years ago
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 8 years ago
- ☆12Oct 1, 2020Updated 5 years ago
- Test tool for error cases of QUIC and HTTP/3☆38Apr 23, 2025Updated last year
- netflow_parser☆25Jul 31, 2026Updated last week
- A collection of tools to measure and analyze MEV across Layer-2 Rollups (CCS 2024).☆16Oct 25, 2024Updated last year
- DRSM: De-Randomized Smoothing on Malware Classifier Providing Certified Robustness (ICLR 2024)☆16Apr 22, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Script for setting up ADB for debugging over wifi☆13Aug 12, 2019Updated 7 years ago
- The QUIC Working Group Web Site☆29Mar 10, 2026Updated 5 months ago
- An open source tool for cleaning email boxes and saving the planet☆11Apr 1, 2022Updated 4 years ago
- ☆19May 27, 2021Updated 5 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆18Sep 30, 2024Updated last year
- The original Protocol-oblivious Forwarding (POF) switch by Huawei☆10Sep 1, 2016Updated 9 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆14Jun 20, 2024Updated 2 years ago
- ☆49Updated this week
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Wireshark configuration profile for Zigbee traffic☆15May 5, 2022Updated 4 years ago
- Mon(IoT)r Lab Testbed Software - Core Component☆14Aug 9, 2024Updated 2 years ago
- QUICforge is an experimental python tool for request forgery attacks with QUIC☆24May 1, 2022Updated 4 years ago
- Implementing a semi supervised learning algorithm using SVM as base classifier☆10Apr 6, 2013Updated 13 years ago
- This repository contains the code for the paper "Website Fingerprinting in the Age of QUIC" (PETS 2021).☆22Jul 12, 2023Updated 3 years ago
- ns3-based network simulator for QUIC testing☆189Nov 24, 2025Updated 8 months ago
- ☆15Apr 25, 2017Updated 9 years ago
- DeepMatch: Practical Deep Packet Inspection in the Data Plane using Network Processors☆15Dec 21, 2020Updated 5 years ago
- Connectors for the Zeek NetControl framework☆19Feb 4, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆34Apr 24, 2023Updated 3 years ago
- A new hobby operating system made with velocity in mind :D☆23Feb 12, 2025Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆239Jan 6, 2021Updated 5 years ago
- Public website for more OSMud information☆19Sep 14, 2023Updated 2 years ago
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆14Aug 22, 2022Updated 3 years ago
- A fuzzing framework targeted at MQTT brokers. Modeled as a finite state machine (using Markov Modeling).☆36Jul 11, 2023Updated 3 years ago
- A Generic Driver for Powerful System Tests☆24Jul 31, 2026Updated last week