IAIK / Chestnut
☆20Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for Chestnut
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated last week
- ☆12Updated 3 years ago
- ☆34Updated 2 years ago
- Directed fuzzing framework for gVisor.☆23Updated last year
- K-Miner☆72Updated 5 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago
- ☆33Updated last year
- ☆53Updated 6 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years 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
- ☆58Updated 2 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- ☆64Updated 5 years ago
- ☆46Updated 3 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆57Updated last year
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- Kernel isolation tester.☆15Updated 2 years ago
- ☆43Updated 3 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆25Updated last year
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆63Updated 5 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- Source code release for the KRace project☆27Updated 3 years ago
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- ☆76Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆26Updated 5 months ago
- Source code of ASAN--☆91Updated 5 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- UAF Fuzzing Benchmark☆55Updated 3 years ago
- ☆17Updated 5 years ago