Code and resources for model learning of network protocol implementations
☆18Oct 26, 2023Updated 3 years ago
Alternatives and similar repositories for main
Users that are interested in main are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 30, 2024Updated 2 years ago
- ☆15Jun 17, 2024Updated 2 years ago
- Code from CCS paper: The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning☆14Feb 27, 2023Updated 3 years ago
- Automatic Test generator and Differential Tester for DNS Nameserver implementations☆35Sep 28, 2023Updated 3 years ago
- [D^3CTF 2022] pwn-d3guard attachment and official writeup (English & Chinese)☆14Mar 9, 2022Updated 4 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.
- iot安全题目学习记录☆17Dec 13, 2021Updated 4 years ago
- OpenStack + MidoNet development environment☆14Sep 1, 2018Updated 8 years ago
- ☆13Jun 15, 2023Updated 3 years ago
- ☆11Oct 10, 2023Updated 3 years ago
- Attacks against QUIC (CVE-2022-30591)☆27Dec 31, 2022Updated 3 years ago
- Build an Ubuntu Kernel in a Docker Container☆13Feb 6, 2017Updated 9 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆44Updated this week
- An automated static taint analysis tool for the Lua web framework.☆23Sep 27, 2024Updated 2 years ago
- tool of llm-based indirect-call analyzer☆32Sep 27, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Feb 25, 2024Updated 2 years ago
- ☆10Oct 28, 2020Updated 6 years ago
- Main repository for the mion network operating system☆15Jul 29, 2021Updated 5 years ago
- Taming the transient while reconfiguring BGP (SIGCOMM'23)☆10Dec 5, 2023Updated 2 years ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- A high-performance C library for Longest Prefix Match (LPM) lookups, supporting both a multi-bit trie of 8-bit stride for IPv4 and a wide…☆23Oct 18, 2026Updated last week
- Formalisation of a capability machine and principles for reasoning about security properties☆28Oct 13, 2026Updated 2 weeks ago
- ☆78Sep 2, 2022Updated 4 years ago
- A simple wav library written in pure C.☆10Apr 20, 2017Updated 9 years ago
- 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.
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆25Jun 27, 2024Updated 2 years ago
- git post-receive hook for running r10k via gitolite3☆10Oct 25, 2013Updated 13 years ago
- Web UI browser and editor for DHCP leases☆26Nov 11, 2025Updated 11 months ago
- A Ruby implementation of a Distributed Hash Table☆12Jul 19, 2013Updated 13 years ago
- Paper, data and code from Investigating Potential Security Vulnerability Manifestation through Various Analyses & Inferences Regarding In…☆21Jan 28, 2021Updated 5 years ago
- A system for automated discovery of congestion control attacks on TCP implementations☆19Aug 21, 2018Updated 8 years ago
- A differential fuzzing framework for the QUIC protocol☆20Nov 21, 2023Updated 2 years ago
- SAGE disambiguates protocol description in an IETF RFC document, then converts the disambiguated protocol description into executable pro…☆20Aug 9, 2021Updated 5 years ago
- A module of riru. Allow user block apps launch other app.☆17May 27, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- AI weather image generator using Node.js, Open-Meteo, Gemini (Nano Banana, Gemini 2.5 Image Preview) & 146k+ cities database. City search…☆10Sep 1, 2025Updated last year
- ☆16Apr 5, 2024Updated 2 years ago
- Grid Operations Configuration Management Database. A Repository, Portal and REST style API for managing Grid and Cloud topology objects i…☆11Oct 21, 2026Updated last week
- Divide-and-Conquer Attack: Harnessing the Power of LLM to Bypass the Censorship of Text-to-Image Generation Mode☆19Feb 16, 2025Updated last year
- ☆20Sep 30, 2026Updated last month
- ☆35Oct 22, 2026Updated last week
- Docker build script for the Godot game engine v3☆11Aug 10, 2022Updated 4 years ago