jovanbulck / nemesisLinks
Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
☆88Updated 4 years ago
Alternatives and similar repositories for nemesis
Users that are interested in nemesis are comparing it to the libraries listed below
Sorting:
- Kernel Address Isolation to have Side-channels Efficiently Removed☆221Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 3 years ago
- This repository contains examples of DRAMA reverse-engineering and side-channel attacks☆190Updated 8 years ago
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆166Updated 9 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- Docs and resources on CPU Speculative Execution bugs☆376Updated 7 years ago
- Rewriting functions in compiled binaries using McSema☆90Updated 6 years ago
- ☆71Updated 5 years ago
- ☆113Updated 11 years ago
- ☆152Updated 7 years ago
- Notes on various topics I'm interested in☆160Updated 10 years ago
- L1TF (Foreshadow) VM guest to host memory read PoC☆113Updated 7 years ago
- A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.☆187Updated 3 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- ☆65Updated 4 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 7 years ago
- Linux Kernel Source Tree Reducer☆81Updated 11 months ago
- ☆74Updated 3 years ago
- ☆55Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Linux i386 tool to load and execute ME modules.☆134Updated 4 years ago
- estimate peak virtual memory use☆18Updated 6 months ago
- ☆172Updated 3 years ago
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆41Updated 7 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆347Updated 7 years ago
- relros.c applies RELRO to static binaries, and static_to_dyn.c applies ASLR to static binaries.☆34Updated 7 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆15Updated 8 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆107Updated 7 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆31Updated 5 years ago