trailofbits / LeftoverLocalsRelease
The public release of LeftoverLocals code
☆65Updated last year
Alternatives and similar repositories for LeftoverLocalsRelease:
Users that are interested in LeftoverLocalsRelease are comparing it to the libraries listed below
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆52Updated 2 weeks ago
- ☆73Updated last year
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 9 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆73Updated 2 years ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆61Updated 8 months ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆42Updated 2 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆58Updated 8 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆30Updated this week
- Ariadne: Binary Ninja Graph Analysis Plugin☆89Updated 2 months ago
- Binary-only fuzzer for WebAssembly (WASI)☆48Updated 8 months ago
- QARMA block cipher in C☆27Updated 2 years ago
- Proof-of-concept for the GhostWrite CPU bug.☆110Updated 8 months ago
- An IOKit kext designed for microarchitectural security research on M1☆41Updated 2 years ago
- Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022☆100Updated 3 years ago
- A command line tool for extracting machine learning ready data from software binaries powered by Radare2☆69Updated this week
- ☆23Updated 2 years ago
- ☆33Updated 3 weeks ago
- Practical Data-Only Attack Generation☆39Updated 10 months ago
- Generation-based, context-free grammar fuzzer.☆52Updated 2 years ago
- Damn Vulenerable Kernel Module for kernel fuzzing☆58Updated 6 months ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- ☆58Updated 2 years ago
- Framework for in-VM test execution and monitoring, inspired by Sandsifter☆11Updated last month
- ☆48Updated 3 years ago
- A tool to perform so called BGE attack☆24Updated last year
- Files used for reproducing Fuzzware's experiments☆57Updated 2 years ago
- ☆112Updated last year
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated last year
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆152Updated last year