NESA-Lab / MPInspector
Messaging protocol test tools
☆16Updated 2 years ago
Related projects: ⓘ
- NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces☆56Updated last month
- Seminar 2022☆20Updated last month
- Academic Papers about LLM Application on Security☆94Updated 3 months ago
- FirmSec Dataset☆29Updated 2 years ago
- A unified framework for AI-enhanced code analysis.☆9Updated last year
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- ☆21Updated 3 weeks ago
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆40Updated 6 months ago
- ☆50Updated 3 years ago
- ☆85Updated last year
- Recent Paper About Bug Detection☆29Updated 4 years ago
- The scalable bug search for binaries☆66Updated 7 years ago
- ☆24Updated 2 years ago
- This repo collects the best papers from top 4 computer security conferences, including IEEE S&P, ACM CCS, USENIX Security, and NDSS.☆56Updated 2 months ago
- Lifting network implementation to precise format specification☆21Updated 5 months ago
- This is the official repository for VulHawk.☆65Updated last year
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆35Updated 9 months ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆40Updated last year
- ☆43Updated 2 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- Recent Fuzzing Paper☆15Updated last year
- A curated list of malware-related papers.☆21Updated 6 months ago
- ☆25Updated 2 weeks ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- Non-Distinguishable Inconsistencies as a Deterministic Oracle for Detecting Security Bugs☆13Updated last year
- 2019 and 2020 Top Conference Paper☆13Updated 3 years ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆50Updated 6 years ago
- ☆136Updated 6 years ago
- Protocol state machine learner and fuzzer for DTLS servers and clients☆34Updated last week
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆14Updated 7 months ago