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.
☆32Updated last week
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
- Public website for more OSMud information☆17Updated last year
- Automatic Test generator and Differential Tester for DNS Nameserver implementations☆33Updated last year
- This is repository for abusebox development. Abuse mailbox and blacklist monitor☆14Updated 9 months ago
- Dragon Research Labs rpki.net RPKI toolkit☆55Updated 3 years ago
- A knowledge graph for the Internet☆50Updated last week
- ☆24Updated 10 months ago
- Portable build framework for OpenBGPD☆58Updated last month
- Student project for advanced networking course. The set of scripts to provision VMs, build a virtual exchange point and run virtual campu…☆26Updated 4 years ago
- 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
- Collection of "bad" packets in PCAPs that can be used for testing software☆17Updated 6 years ago
- This tool is used for generating Manufacture Usage Description(MUD) from Device Traffic Trace(PCAP)☆31Updated 2 years ago
- Example programs fot the Journeying into XDP blogs☆49Updated last year
- ☆55Updated 11 months ago
- IPFIX flow exporter with DPDK support capable of bi-directional flows, per-packet-information statistics, and extensibility via processin…☆44Updated this week
- This repository contains the code for the paper "Website Fingerprinting in the Age of QUIC" (PETS 2021).☆21Updated last year
- A differential fuzzing framework for the QUIC protocol☆16Updated last year
- QUICforge is an experimental python tool for request forgery attacks with QUIC☆21Updated 2 years ago
- Docker images with installed VPP ready to run.☆33Updated 3 months ago
- ROSE-T: ROuting SEcurity Tool☆14Updated 2 months ago
- Mininet extension to make experimenting with IP networks easy☆66Updated 2 years ago
- Tiny nDPI based deep packet inspection daemons / toolkit.☆69Updated last week
- Telco pIPeline benchmarking SYstem☆19Updated 4 months ago
- A tiny OpenFlow controller for OF-DPA switches.☆47Updated this week
- An O-RAN compliant runtime intrusion detection system (xApp) for layer-3 (L3) celluar attack detection☆44Updated 2 months ago
- A tool for performing one-way or two-way active measurements☆73Updated 3 months ago
- pcapML standardizes network traffic analysis datasets by directly encoding metadata information into raw traffic captures☆25Updated 2 years ago
- Open-source code for RFCNLP paper.☆53Updated 2 years ago
- An open-source C implementation of the RPKI/Router Protocol client☆74Updated 7 months ago
- Convert network filtering rules from various formats into BPF programs☆66Updated 4 years ago