Phantom1003 / QARMA64
QARMA block cipher in C
☆24Updated 2 years ago
Related projects: ⓘ
- Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks☆28Updated 3 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆65Updated last year
- Framework for building transparent memory encryption and authentication solutions☆25Updated 6 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆57Updated 7 years ago
- ☆33Updated 3 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆30Updated 3 years ago
- CHERI ISA Specification☆20Updated 2 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆15Updated 11 months ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆35Updated 3 years ago
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆12Updated 2 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆53Updated 2 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆16Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆19Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆24Updated last week
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated 11 months ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆52Updated 2 years ago
- XML representation of the x86 instruction set☆27Updated last year
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆25Updated last year
- Tracing framework for full system simulators☆54Updated 9 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆75Updated 6 years ago
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆11Updated last year
- Tool to extract the kallsyms (System.map) from a memory dump☆24Updated last year
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated 2 months ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆65Updated 3 months ago