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).
☆36Updated 4 months ago
Alternatives and similar repositories for temporal-specialization:
Users that are interested in temporal-specialization are comparing it to the libraries listed below
- ☆13Updated 3 years ago
- ☆46Updated 3 years ago
- ☆33Updated last year
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 4 years ago
- K-Miner☆75Updated 5 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆77Updated 3 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
- ☆39Updated 4 years ago
- ☆37Updated 2 years ago
- ☆61Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆73Updated 2 years ago
- ☆17Updated 5 years ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆13Updated 6 months ago
- ☆64Updated 6 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- ☆22Updated 3 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆91Updated last year
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- Source code of ASAN--☆94Updated 9 months ago
- ☆39Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆79Updated 2 months ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 4 months ago
- Source code release for the KRace project☆27Updated 3 years ago
- A version of Griffin used to provide program traces☆15Updated 4 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 9 months ago
- BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation☆28Updated 4 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 10 months ago