ANSSI-FR / x509-parser
a RTE-free X.509 parser
☆61Updated 2 years ago
Alternatives and similar repositories for x509-parser:
Users that are interested in x509-parser are comparing it to the libraries listed below
- ☆35Updated 8 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆72Updated last month
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Tools for timing attacks☆18Updated 9 years ago
- An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers☆15Updated 5 years ago
- SCALE: Side-Channel Attack Lab. Exercises☆43Updated last year
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆16Updated last year
- Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations☆177Updated last year
- Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F…☆68Updated 2 years ago
- Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system☆20Updated last month
- Code to fuzz bignum libraries☆45Updated 6 years ago
- Timing Attack on TLS' ECDSA signature☆42Updated 9 years ago
- Collection of RISC-V exploits☆29Updated 5 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- A tool to help you understand TPM commands and responses.☆42Updated 4 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 3 months ago
- Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems☆33Updated 7 years ago
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆41Updated 6 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- This is an attempt to implement Spectre on ARMv7☆25Updated 6 years ago
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆45Updated last month
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Boring tool to launch multiple afl-fuzz instances☆50Updated 7 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 5 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year
- ChipWhisperer-Lint is an open source implementation of our automated leakage detection tool.☆17Updated 6 years ago
- Shadow-Box: Lightweight and Practical Kernel Protector for ARM (Presented at BlackHat Asia 2018)☆73Updated 6 years ago
- ☆11Updated 4 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago