jprx / PacmanFinder
A Ghidra static analysis tool for locating PACMAN Gadgets
☆13Updated 2 years ago
Alternatives and similar repositories for PacmanFinder:
Users that are interested in PacmanFinder are comparing it to the libraries listed below
- An IOKit kext designed for microarchitectural security research on M1☆41Updated 2 years ago
- M1 bare metal project in Rust☆30Updated 2 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆42Updated 2 years ago
- Materials from the DEF CON 30 talk on PACMAN☆32Updated 2 years ago
- Patch your macOS kernel to enable support for the high-resolution timers on M1☆31Updated last year
- A tool to perform so called BGE attack☆24Updated last year
- ☆24Updated last year
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆57Updated 3 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆35Updated 2 years ago
- ☆10Updated 4 months ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆28Updated last year
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 5 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 9 months ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆12Updated 4 months ago
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆61Updated 8 months ago
- ☆38Updated 4 years ago
- Deterministic record and replay and tracing of syzkaller bug reproducers☆17Updated this week
- Pre-Silicon Hardware Fuzzing Toolkit☆55Updated 2 weeks ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- ☆14Updated 2 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆21Updated last year
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 2 years ago
- Official Solution and Source Code for the "Mock Kernel" challenge from UIUCTF 2023☆48Updated last year
- Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks☆37Updated 4 years ago
- Tutorial to write qemu plugins☆32Updated 7 years ago
- A Hybrid Alias Analysis☆18Updated last year
- ☆15Updated last year
- Linux kernel branches for confidential compute research☆17Updated 3 weeks ago