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 31, 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:
- Detection and identification of bat species in audio recordings by applying multi-label Machine Learning techniques.☆16Aug 29, 2023Updated 3 years ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆15Aug 11, 2025Updated last year
- Vegvisir is an automated testing framework for orchestrating prototypical QUIC-HTTP/3 client-server communications using simulated networ…☆26Aug 7, 2026Updated 3 weeks ago
- Over the net fuzzing of QUIC servers or clients.☆23Nov 21, 2025Updated 9 months ago
- Cost-aware network traffic analysis☆13Dec 20, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Countdowns to top Networking and Measurement conference deadlines.☆19May 9, 2026Updated 3 months ago
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 8 years ago
- ☆16Sep 14, 2022Updated 3 years ago
- Test tool for error cases of QUIC and HTTP/3☆37Apr 23, 2025Updated last year
- netflow_parser☆25Jul 31, 2026Updated last month
- The QUIC Working Group Web Site☆30Mar 10, 2026Updated 5 months ago
- Nexss PROGRAMMER 2.x - innovative and evolutionary programming tool - over 50 programming languages☆15Sep 19, 2025Updated 11 months ago
- My Packet Captures, Quagga Tutorial, and Cisco Reversing.☆29Jun 21, 2018Updated 8 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆18Oct 16, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Generating Proof-of-Concept Exploits for npm Vulnerabilities☆20Jun 27, 2026Updated 2 months ago
- Wireshark configuration profile for Zigbee traffic☆15May 5, 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
- A fast C++ Madelbrot renderer using AVX2 extensions☆13Oct 7, 2022Updated 3 years ago
- ns3-based network simulator for QUIC testing☆189Nov 24, 2025Updated 9 months 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
- Compositional and declarative user interface library for Clojure and Clojurescript☆14Sep 25, 2025Updated 11 months 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.
- A new hobby operating system made with velocity in mind :D☆23Feb 12, 2025Updated last year
- Specs for new networking hardware offloads.☆40Feb 5, 2025Updated last year
- IntSight: Diagnosing SLO Violations with In-Band Network Telemetry☆14Aug 22, 2022Updated 4 years ago
- Binary Ninja plugin for automated refactoring of the RuneScape NXT client☆13Nov 17, 2022Updated 3 years ago
- A tool to convert .pcap and .pcapng files into qlog files☆32May 23, 2024Updated 2 years ago
- Configuration Example Generalizing Synthesizer☆17Jun 12, 2025Updated last year
- QUIC and HTTP/3 visualization tools☆197Aug 17, 2026Updated 2 weeks ago
- Linux external hax for cs:go my friend☆10Jun 10, 2017Updated 9 years ago
- A minimal example of a webpack scaffold that builds to both web and electron targets.☆16Sep 2, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A framework for automated testing of network analysis and verification tools.☆18Feb 23, 2021Updated 5 years ago
- PyTest Salt Plugin☆13Jan 27, 2020Updated 6 years ago
- A Clojure library for writing self-optimizing interpreters☆30Jun 2, 2020Updated 6 years ago
- This repo tracks all releases and changes in them for FastNetMon Advanced☆12Aug 5, 2026Updated 3 weeks ago
- ☆19Jul 22, 2015Updated 11 years ago
- Pound Load Balancer used in RELIANOID ADC for HTTP and HTTPS userspace management. It includes some features developed by the RELIANOID T…☆16Jan 2, 2025Updated last year
- CBench, Benchmarking System for Question Answering Over Knowledge Graphs Systems.☆12Sep 16, 2022Updated 3 years ago