ANSSI-FR / x509-parser
a RTE-free X.509 parser
☆60Updated 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 7 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 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 weeks ago
- MASCAB: a Micro-Architectural Side-Channel Attack Bibliography☆41Updated 6 years ago
- Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems☆33Updated 7 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- ☆11Updated 4 years ago
- This is a Tamarin model of TLS 1.3☆33Updated last year
- SCALE: Side-Channel Attack Lab. Exercises☆42Updated last year
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- A Genetic File, Syscall and Network Fuzzer.☆59Updated 7 years ago
- Measure branching along code paths☆20Updated 8 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆16Updated last year
- SIde-Channel Analysis toolKit: embedded security evaluation tools☆28Updated 3 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆29Updated 8 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago
- estimate peak virtual memory use☆19Updated last month
- Code to fuzz bignum libraries☆45Updated 6 years ago
- Picon☆38Updated 7 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- QEmu backend for avatar²☆21Updated 3 months ago
- QARMA block cipher in C☆26Updated 2 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆69Updated 8 months ago
- TLS implemented in f7☆43Updated 8 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆13Updated 2 years ago
- Sample application to let OpenSSL talk to itself (for fuzzing)☆33Updated 9 years ago
- Conferences, tools, papers, etc.☆43Updated 2 weeks ago
- Tools for timing attacks☆18Updated 9 years ago