ANSSI-FR / x509-parser
a RTE-free X.509 parser
☆58Updated last year
Related projects: ⓘ
- ☆34Updated 7 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆65Updated 3 months ago
- Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F…☆67Updated 2 years ago
- SCALE: Side-Channel Attack Lab. Exercises☆41Updated last year
- Tools for timing attacks☆18Updated 8 years ago
- Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems☆32Updated 7 years ago
- An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers☆12Updated 5 years ago
- Ledger Donjon CTF 2020☆17Updated 2 years ago
- estimate peak virtual memory use☆19Updated 7 months ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- ☆12Updated 2 years ago
- A collection of ready to use binary analysis tools☆55Updated 7 months ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆32Updated 11 months ago
- Differential Address Trace Analysis☆51Updated 5 months ago
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆47Updated 2 years ago
- QARMA block cipher in C☆24Updated 2 years ago
- Alphanumeric+1 shellcoding tools for RISC-V☆36Updated 5 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆57Updated 7 years ago
- A repository of tools for verifying constant-timeness☆12Updated this week
- An implementation of the IETF QUIC protocol in F*☆18Updated 5 years ago
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆40Updated 6 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆23Updated this week
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 2 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆35Updated 2 years ago
- NIST CSRC Cryptography Toolkit test vectors (unofficial and dumped to text)☆23Updated 5 years ago
- Easy-to-use tool which autogenerates a type-aware fuzzer from a debuggable executable.☆22Updated last year
- This is a Tamarin model of TLS 1.3☆31Updated last year
- TPM-Fail Attack code & data☆121Updated last year
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- Code to fuzz bignum libraries☆45Updated 5 years ago