vul337 / EnclaveFuzz
Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
☆23Updated 4 months ago
Alternatives and similar repositories for EnclaveFuzz:
Users that are interested in EnclaveFuzz are comparing it to the libraries listed below
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆31Updated 9 months ago
- ☆25Updated 2 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 3 months ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 8 months ago
- ☆17Updated last year
- ☆11Updated last year
- ViDeZZo source code.☆34Updated 2 months ago
- SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…☆32Updated 3 months ago
- ☆51Updated 9 months ago
- An Automated Heap Feng Shui Tool☆16Updated 2 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆25Updated last year
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆75Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 9 months ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated 2 years ago
- ☆18Updated last year
- ☆34Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- The published code repo for the Cortex-M SoK paper.☆18Updated last month
- ☆22Updated 5 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆72Updated 2 years ago
- ☆37Updated 2 years ago
- ☆25Updated 3 years ago
- ☆76Updated last year
- uacatcher open source repo☆19Updated last year
- ☆36Updated 2 years ago
- ☆30Updated last month
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- ☆40Updated 2 weeks ago
- Papers related with kernel papers☆13Updated last year