HexHive / SMoTherSpectreLinks
Proof-of-concept code for the SMoTherSpectre exploit.
☆75Updated 5 years ago
Alternatives and similar repositories for SMoTherSpectre
Users that are interested in SMoTherSpectre are comparing it to the libraries listed below
Sorting:
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆59Updated 8 years ago
- ☆55Updated 3 years ago
- ☆36Updated 4 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆125Updated 5 years ago
- L1TF (Foreshadow) VM guest to host memory read PoC☆112Updated 6 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- Public release of the tools used to assist in gadget finding.☆42Updated 7 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Tools for "Another Flip in the Wall"☆38Updated 7 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆59Updated 2 months ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- A quick PoC to try out the "meltdown" timing attack.☆155Updated 7 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- ☆26Updated last year
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆41Updated 6 years ago
- This repository contains the sources and documentation for the LVI-LFB Control Flow Hijacking attack PoC (CVE-2020-0551)☆25Updated 5 years ago
- Tool for testing and finding minimal eviction sets☆105Updated 4 years ago
- ☆45Updated 6 years ago
- ☆77Updated 7 years ago
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆48Updated 8 years ago
- Securing System Logs With Intel SGX☆14Updated 8 years ago
- ☆65Updated 4 years ago
- ☆53Updated 6 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆217Updated last month
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 7 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆55Updated 3 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆95Updated 7 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆80Updated 6 years ago