jovanbulck / nemesis
Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
☆87Updated 3 years ago
Alternatives and similar repositories for nemesis:
Users that are interested in nemesis are comparing it to the libraries listed below
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆166Updated 8 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆220Updated 3 years ago
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆41Updated 6 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆68Updated last year
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Docs and resources on CPU Speculative Execution bugs☆374Updated 7 years ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆74Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆63Updated 4 years ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- ☆73Updated 6 years ago
- ☆55Updated 2 years ago
- ☆149Updated 6 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- a tool designed to help perform and visualize trace-driven cache attacks against software in the secure world of TrustZone-enabled ARMv8 …☆80Updated 5 years ago
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- This repository contains examples of Flush+Flush cache attacks☆161Updated 3 years ago
- ☆112Updated 11 years ago
- Routines for hunting down kernel symbols.☆82Updated 14 years ago
- This repository contains examples of DRAMA reverse-engineering and side-channel attacks☆183Updated 7 years ago
- kCFI Documentation☆14Updated 8 years ago
- Experimental setup of "Intel MPX explained"☆26Updated 5 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 8 years ago
- ☆77Updated 3 years ago
- ☆70Updated 5 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆55Updated 3 years ago
- TRRespass☆122Updated 4 years ago