shamedgh / temporal-specialization
This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Reduction" published in the Proceedings of the 29th Usenix Security Symposium (2020).
☆35Updated last week
Related projects ⓘ
Alternatives and complementary repositories for temporal-specialization
- ☆33Updated last year
- ☆46Updated 3 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- ☆12Updated 3 years ago
- K-Miner☆72Updated 5 years ago
- ☆17Updated 5 years ago
- ☆58Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆85Updated 8 months ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- ☆39Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆20Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆26Updated 5 months ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- ☆64Updated 5 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆12Updated last month
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- Source code of ASAN--☆91Updated 5 months ago
- ☆38Updated 2 years ago
- ☆70Updated 2 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆63Updated 5 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆56Updated 6 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆57Updated last year
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- Detect missing check bugs in OS kernels☆107Updated last year