HexHive / SMoTherSpectre
Proof-of-concept code for the SMoTherSpectre exploit.
☆74Updated 5 years ago
Alternatives and similar repositories for SMoTherSpectre:
Users that are interested in SMoTherSpectre are comparing it to the libraries listed below
- ☆35Updated 3 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆121Updated 4 years ago
- ☆23Updated last year
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- ☆55Updated 2 years ago
- Public release of the tools used to assist in gadget finding.☆41Updated 7 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆54Updated 3 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆57Updated 8 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- L1TF (Foreshadow) VM guest to host memory read PoC☆111Updated 6 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- ☆53Updated 5 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆37Updated 3 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆41Updated 6 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆79Updated 6 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆61Updated 2 years ago
- run AFL with pintool☆65Updated 5 years ago
- ☆38Updated 4 years ago
- Tool for testing and finding minimal eviction sets☆97Updated 3 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆137Updated 3 years ago
- Exploiting Array-Out-of-Bounds-Write-Accesses on Linux☆27Updated 7 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 10 months ago
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆26Updated 5 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆214Updated 5 months ago
- Repository for understanding and writing LLVM passes.☆31Updated 5 years ago
- ☆96Updated 5 years ago