XZ-X / PEM
☆14Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for PEM
- ☆20Updated 2 months ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆19Updated 9 months ago
- Official repo for "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"☆13Updated 3 months ago
- Seminar 2022☆21Updated 3 weeks ago
- Lifting network implementation to precise format specification☆22Updated last week
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Updated last year
- ☆23Updated 2 months ago
- [NDSS'23] BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense☆14Updated 6 months ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆32Updated last month
- An NLP-based fuzzing assitance tool for generating valid option combinations.☆41Updated 8 months ago
- DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems☆51Updated 6 years ago
- ☆13Updated 2 months ago
- A curated list of malware-related papers.☆22Updated 8 months ago
- ☆44Updated 2 years ago
- A unified framework for AI-enhanced code analysis.☆9Updated last year
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆45Updated 2 months ago
- This is the official repository for VulHawk.☆65Updated last year
- ☆11Updated 2 months ago
- ADAPT is the open source white-box testing framework for deep neural networks☆21Updated last year
- ☆80Updated 2 weeks ago
- ☆90Updated 3 weeks ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 6 months ago
- Recent Fuzzing Paper☆15Updated last year
- This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…☆26Updated 3 years ago
- ☆18Updated 10 months ago
- Code for tracelet-level symbolic execution☆16Updated 2 years ago
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆41Updated last year
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆18Updated 2 months ago
- 20 benchmark programs☆45Updated 3 years ago