Phantom1003 / QARMA64
QARMA block cipher in C
☆24Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for QARMA64
- Side-channel traces visualizer☆13Updated 8 months ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks☆28Updated 4 years ago
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆12Updated 2 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- CHERI ISA Specification☆23Updated 4 months ago
- Pathfinder: High-Resolution Control-Flow Attacks Exploiting the Conditional Branch Predictor☆16Updated 4 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆70Updated last year
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆25Updated this week
- ☆35Updated 3 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆28Updated 4 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆53Updated 2 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆57Updated 7 years ago
- Framework for building transparent memory encryption and authentication solutions☆25Updated 6 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- ☆16Updated 2 years ago
- QEmu backend for avatar²☆20Updated 2 weeks ago
- A bitsliced implementation of ECB and CTR AES☆46Updated 3 months ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- ☆16Updated 5 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆28Updated 8 years ago
- Securing System Logs With Intel SGX☆15Updated 7 years ago
- Program synthesis tools and utilities for LLVM.☆20Updated last year
- Ledger Donjon CTF 2020☆17Updated 3 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆68Updated 5 months ago