badramattack / badram
☆54Updated last month
Alternatives and similar repositories for badram:
Users that are interested in badram are comparing it to the libraries listed below
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆28Updated last year
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆40Updated last year
- ☆36Updated last year
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 2 years ago
- Intel Hardware Trace Library - Kernel Space Componment☆65Updated 3 weeks ago
- Simple AMD-V (SVM) Virtualization Extensions Demo☆20Updated 7 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆81Updated 2 years ago
- A graphing library for Control Flow Graphs☆51Updated 2 weeks ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated 3 weeks ago
- A dynamically loadable virtual-machine based rootkit designed for Linux Kernel v5.13.0 using AMD-V (SVM).☆29Updated 2 years ago
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆50Updated 8 months ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆105Updated last year
- ☆24Updated last year
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆29Updated 11 months ago
- This is an instruction to run your own SMM code.☆103Updated 4 years ago
- Materials for my DMA attacks talk and a collection of related links☆47Updated 10 months ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆61Updated 8 months ago
- How to use LLVM passes☆31Updated 2 years ago
- LLVM Without The ROP Gadgets!☆26Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated 3 months ago
- Proof-of-concept implementation for the paper "Reviving Meltdown 3a" (ESORICS 2023)☆14Updated last year
- Binary exploitation by confusing the unwinder☆60Updated 2 years ago
- ☆47Updated last month
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆35Updated 5 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆130Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆116Updated 4 months ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆36Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆87Updated last week
- Linux kernel branches for confidential compute research☆17Updated 3 weeks ago
- Hyper-V related resources☆30Updated last year