marcan / speculation-bugs
Docs and resources on CPU Speculative Execution bugs
☆372Updated 7 years ago
Alternatives and similar repositories for speculation-bugs:
Users that are interested in speculation-bugs are comparing it to the libraries listed below
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 10 months ago
- ☆70Updated 4 years ago
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆166Updated 8 years ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆86Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆87Updated 5 years ago
- Example code for the AES crypto instructions on Intel chips☆81Updated 5 years ago
- Linux i386 tool to load and execute ME modules.☆130Updated 3 years ago
- ☆110Updated 11 years ago
- Notes on various topics I'm interested in☆157Updated 9 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- IPC scripts for access to Intel CRBUS☆118Updated 3 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆106Updated 6 years ago
- Kernel Test Framework☆141Updated this week
- ☆112Updated last year
- Processor fuzzer targeting the Armv8-A ISA☆57Updated 2 years ago
- Arbitrary Speculative Code Execution with Return Instructions☆157Updated last year
- An event driven multi-core process debugging, tracing, and manipulation framework.☆172Updated 5 years ago
- Load-time selective binary rewriting☆155Updated 2 years ago
- TRRespass☆121Updated 3 years ago
- ☆78Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆214Updated 3 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆331Updated 6 years ago
- Self-hosting binary instrumentation framework for security research☆210Updated last year
- Unlinks a binary executable to get back a set of .o object files for further transformation and re-linking.☆158Updated 2 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…☆195Updated 3 years ago
- The code to the SGX-ROP paper☆183Updated 4 years ago
- Kernel-based debugger for Linux applications☆73Updated 2 years ago
- ☆173Updated 2 years ago