IAIK / Chestnut
☆20Updated 3 months ago
Related projects: ⓘ
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆33Updated 4 years ago
- ☆12Updated 2 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆54Updated last year
- K-Miner☆71Updated 5 years ago
- Source code of ASAN--☆88Updated 3 months ago
- ☆31Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆17Updated 3 months ago
- ☆33Updated 2 years ago
- ☆50Updated 4 months ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆72Updated last year
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- Source code release for the KRace project☆27Updated 2 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆72Updated 2 years ago
- ☆45Updated 2 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆62Updated 5 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆26Updated 10 months ago
- ☆66Updated 4 years ago
- ☆17Updated 5 years ago
- ☆64Updated 5 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆83Updated 4 months ago
- PARTS / LLVM compiler☆31Updated 5 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆117Updated 4 years ago
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆193Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆75Updated last year
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆30Updated 4 months ago
- ☆58Updated 2 years ago
- Directed fuzzing framework for gVisor.☆23Updated 10 months ago