jprx / PacmanOS
M1 bare metal project in Rust
☆28Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for PacmanOS
- An IOKit kext designed for microarchitectural security research on M1☆32Updated 2 years ago
- A Ghidra static analysis tool for locating PACMAN Gadgets☆12Updated 2 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆34Updated 2 years ago
- Materials from the DEF CON 30 talk on PACMAN☆28Updated 2 years ago
- Patch your macOS kernel to enable support for the high-resolution timers on M1☆23Updated 8 months ago
- Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks☆28Updated 4 years ago
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 2 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆32Updated 2 years ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 4 months ago
- ☆23Updated 9 months ago
- GDB macros for real mode debugging☆21Updated 8 years ago
- A plugin for Binary Ninja to query the Symgrate2 database.☆13Updated 3 years ago
- Materials for my DMA attacks talk and a collection of related links☆43Updated 5 months ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆29Updated 4 years ago
- SMT Modeling for Ghidra's PCODE☆20Updated this week
- Pre-Silicon Hardware Fuzzing Toolkit☆53Updated 3 weeks ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆80Updated last year
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆54Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆29Updated 2 years ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆56Updated 3 months ago
- library to load and parse Mach-O core files without dependencies☆15Updated 3 years ago
- Use Ghidra Structs in Python☆28Updated 3 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Official Solution and Source Code for the "Mock Kernel" challenge from UIUCTF 2023☆49Updated last year
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- A simple Aarch64 hypervisor for Raspberry Pi☆32Updated 4 years ago
- ☆14Updated 11 months ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago
- Aarch64 architecture plugin☆84Updated 8 months ago