zanderdk / lib-micro
☆13Updated last year
Alternatives and similar repositories for lib-micro:
Users that are interested in lib-micro are comparing it to the libraries listed below
- ☆23Updated 10 months ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆80Updated last year
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 2 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- Proof-of-concept code for the SMoTherSpectre exploit.☆74Updated 5 years ago
- ☆34Updated last year
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated last year
- Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks☆32Updated 4 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 10 months ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆57Updated 7 years ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆60Updated 5 months ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- Exploit generator for Intel ME 11 buffer overflow☆32Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆55Updated 2 years ago
- Automated recovery of Linux kernel build configurations☆24Updated 3 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 3 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆72Updated 2 years ago
- Materials from the DEF CON 30 talk on PACMAN☆29Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated 6 months ago
- ☆35Updated 3 years ago
- ☆47Updated 2 weeks ago
- FirmWire has replaced ShannonEE. OLD: A dynamic analysis environment for Samsung's Shannon baseband.☆40Updated 2 years ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆29Updated 4 years ago
- A Rowhammer fuzzer for AMD Zen-based systems (USENIX Security '24).☆45Updated 6 months ago
- An IOKit kext designed for microarchitectural security research on M1☆32Updated 2 years ago
- Helper library for using the IPC CLI python module of OpenIPC☆12Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆59Updated 3 years ago