Brissouille / Lagrange
Cryptanalysis on differents algorithms with z3 solver sat
☆17Updated 8 months ago
Alternatives and similar repositories for Lagrange:
Users that are interested in Lagrange are comparing it to the libraries listed below
- Differential fault analysis framework for AES128☆48Updated 11 years ago
- White-box Design and Analysis kit☆23Updated last year
- ☆48Updated 3 years ago
- Makes Unicorn traces. Generic Side-Channel and Fault Injection simulator☆180Updated 10 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆73Updated 2 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- SageMath/Python Toolkit for Cryptanalytic Research☆39Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- ☆35Updated 3 years ago
- Support of Nvidia Falcon processors for Ghidra☆71Updated 7 months ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆32Updated 2 years ago
- Repository for dealing with Malloc mangling functions☆10Updated 4 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated 2 months ago
- Ghidra Emulates Functions☆54Updated 4 years ago
- Examples demonstrating the usage of avatar²☆27Updated last year
- Hacky scripts to fixup stack strings in Ghidra's decompiler.☆36Updated 2 years ago
- A code skeleton of Samsung's Shannon S5000 baseband modem.☆45Updated 5 years ago
- ☆14Updated 4 years ago
- Automated recovery of Linux kernel build configurations☆24Updated 3 years ago
- Debugger for the Shannon Baseband☆58Updated 4 years ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆31Updated 4 years ago
- ☆19Updated 6 years ago
- A tool to perform so called BGE attack☆24Updated last year
- Power trace simulator using Unicorn Engine for side channel analysis attack testing☆87Updated 6 years ago
- tool for multi-execution jump coverage introspection☆64Updated 2 months ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆81Updated 2 years ago
- Supplemental material to our paper: "One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization"☆88Updated 2 years ago
- CHES 2022 White-box Cryptography Tutorial☆20Updated 2 years ago