Code from CCS paper: The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning
☆13Feb 27, 2023Updated 3 years ago
Alternatives and similar repositories for state-inspector
Users that are interested in state-inspector are comparing it to the libraries listed below
Sorting:
- ☆12Jan 30, 2024Updated 2 years ago
- ☆12Mar 25, 2020Updated 5 years ago
- ☆12Jul 5, 2024Updated last year
- Fuzzer for Amplification Vulnerabilities (USENIX '22, Krupp et al)☆16Aug 27, 2022Updated 3 years ago
- Code and resources for model learning of network protocol implementations☆18Oct 26, 2023Updated 2 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆41Updated this week
- ☆49Jun 12, 2025Updated 8 months ago
- Code from MSc thesis on combining learning and fuzzing☆19Jul 30, 2018Updated 7 years ago
- CCS Tools☆13Sep 4, 2023Updated 2 years ago
- A POC for a mutual fund listing app with a user signup/signin flow that displays multiple mutual funds in a scrollable list. Certain esse…☆10Feb 1, 2023Updated 3 years ago
- ☆37Nov 9, 2025Updated 4 months ago
- A specialized implementation of the Hierarchical Navigable Small World (HNSW) data structure adapted for efficient nearest neighbor looku…☆10Mar 3, 2026Updated last week
- Privacy-Preserving Dynamic Learning of Tor Network Traffic☆10Jun 15, 2021Updated 4 years ago
- Abstract BusinessObject for StromDAO Energy Blockchain. Abstraction layer between blockchain technology and business logic providing ener…☆10Dec 6, 2022Updated 3 years ago
- Deploy the marketing analytics application, CRMint☆14Feb 24, 2026Updated 2 weeks ago
- Repo que almacena todas las clases.☆21Jan 14, 2026Updated last month
- Analysis and exploitation of an use-after-free in ProFTPd☆12Jun 21, 2023Updated 2 years ago
- 基于Kubernetes v1.22.2集群部署ELK日志分析系统。并收集与展示Nginx的access访问日志。☆12Jan 26, 2022Updated 4 years ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week
- Code and data for the CCS'19 paper "Watching You Watch: The Tracking Ecosystem of Over-the-TopTV Streaming Devices"☆13Dec 14, 2019Updated 6 years ago
- Struct-aware fuzzing framework + some fuzzers☆30Jan 28, 2026Updated last month
- 见过Microsoft Excel吗? 这是一个支持上下滚动和左右滚动的视图, 类似UITableView的 API, 用起来也很方便, 支持每个Section独立横向滚动, 用户可以灵活配置自己的UI结构, 非常推荐! Have you seen Microsoft Ex…☆10Mar 8, 2020Updated 6 years ago
- An embeddable double sided accounting ledger built on PG/SQLx☆10Feb 16, 2026Updated 3 weeks ago
- The guideline for pod.☆10Jun 19, 2020Updated 5 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"☆11Dec 20, 2022Updated 3 years ago
- Benchmark code for comparing different databases☆11Feb 22, 2024Updated 2 years ago
- The source code of the paper "Towards Problem of First Miss under Mobile EdgeCaching"☆11Apr 12, 2021Updated 4 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆97Aug 16, 2023Updated 2 years ago
- ☆97Sep 29, 2025Updated 5 months ago
- Deploy a multizone Java application☆13Feb 24, 2026Updated 2 weeks ago
- Run syncthing rootless and distroless.☆25Updated this week
- [D^3CTF 2022] pwn-d3guard attachment and official writeup (English & Chinese)☆13Mar 9, 2022Updated 4 years ago
- 本项目为川大网安学生打造就业指导入门手册，同时开放共享，助力更广泛的计算机类/网络安全学习者。持续迭代更新，欢迎贡献。☆18Aug 12, 2025Updated 6 months ago
- ☆11May 4, 2015Updated 10 years ago
- R package for working with the CCS Annotator☆12Mar 14, 2024Updated last year
- Platform agnostic Rust driver for the CCS811 ultra-low power digital gas sensor for monitoring indoor air quality☆15Mar 5, 2025Updated last year
- An open-source prediction framework for peptide ion collision cross section (CCS) values with python.☆15Oct 6, 2023Updated 2 years ago
- Tool to extract contents from the memory of Windows systems.☆13Jul 4, 2023Updated 2 years ago