jprx / PacmanOS
M1 bare metal project in Rust
☆30Updated 2 years ago
Alternatives and similar repositories for PacmanOS:
Users that are interested in PacmanOS are comparing it to the libraries listed below
- An IOKit kext designed for microarchitectural security research on M1☆41Updated 2 years ago
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Updated 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
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆35Updated 2 years ago
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 2 years ago
- Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks☆37Updated 4 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 9 months ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆61Updated 8 months ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆28Updated last year
- Pre-Silicon Hardware Fuzzing Toolkit☆55Updated 2 weeks ago
- Tutorial to write qemu plugins☆32Updated 7 years ago
- ☆24Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- A plugin for Binary Ninja to query the Symgrate2 database.☆13Updated 3 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 5 years ago
- Official Solution and Source Code for the "Mock Kernel" challenge from UIUCTF 2023☆48Updated last year
- SMT Modeling for Ghidra's PCODE☆25Updated this week
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆14Updated last year
- How to use LLVM passes☆31Updated 2 years ago
- A simple Aarch64 hypervisor for Raspberry Pi☆35Updated 4 years ago
- ☆38Updated 4 years ago
- Use Ghidra Structs in Python☆29Updated 4 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆21Updated last year
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆57Updated 3 years ago
- ☆17Updated last year
- GDB macros for real mode debugging☆21Updated 9 years ago
- An assistant for BinDiff☆24Updated 2 years ago
- QEMU with support for QDSP6 user mode emulation☆32Updated 5 years ago