Brissouille / Lagrange
Cryptanalysis on differents algorithms with z3 solver sat
☆17Updated 7 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
- Resources to break Adoring Poitras from WhibOx contest☆18Updated 4 years ago
- ☆14Updated 4 years ago
- Power trace simulator using Unicorn Engine for side channel analysis attack testing☆87Updated 6 years ago
- ☆20Updated 5 years ago
- Secure AES128 Encryption Implementation for ATmega8515☆35Updated 4 years ago
- A tool to perform so called BGE attack☆24Updated 11 months ago
- Generic exploit for all version 7 (maybe others) LM32-based AMD SMU's used in APUs (and probably works on GPUs too)☆35Updated last year
- Makes Unicorn traces. Generic Side-Channel and Fault Injection simulator☆178Updated 10 months ago
- White-box Analysis and Implementation Tools☆74Updated 3 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 5 years ago
- A code skeleton of Samsung's Shannon S5000 baseband modem.☆43Updated 5 years ago
- Debugger for the Shannon Baseband☆58Updated 4 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- Efficient C implementation of Differential Fault Analysis on AES (round 8 or 9)☆25Updated 2 months ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated last year
- ☆18Updated 10 months ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- CHES 2022 White-box Cryptography Tutorial☆20Updated 2 years ago
- ☆35Updated 3 years ago
- tool for multi-execution jump coverage introspection☆63Updated 2 months ago
- Support of Nvidia Falcon processors for Ghidra☆70Updated 6 months ago
- An implementation of the RL78 ISA for Ghidra SRE☆26Updated 4 years ago
- Differential Address Trace Analysis☆55Updated last year
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 years ago
- Automated recovery of Linux kernel build configurations☆24Updated 3 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 6 years ago
- ☆12Updated 5 years ago
- SIFA-based attacks on AES☆38Updated 3 months ago