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).
☆34Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for temporal-specialization
- ☆46Updated 2 years ago
- K-Miner☆72Updated 5 years ago
- ☆33Updated last year
- ☆12Updated 3 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- ☆58Updated 2 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 5 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- ☆34Updated 2 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- ☆38Updated 2 years ago
- ☆39Updated 3 years ago
- ☆17Updated 5 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆85Updated 7 months ago
- ☆64Updated 5 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆31Updated 5 months ago
- Source code release for the KRace project☆27Updated 2 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆12Updated last month
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated 2 years ago
- Detect missing check bugs in OS kernels☆107Updated last year
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 3 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆55Updated last year
- Pre-built bitcode files for the Linux kernel☆22Updated 5 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆42Updated 3 years ago
- ☆54Updated 5 months ago
- ☆21Updated 6 months ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago