crocs-muni / sec-certsLinks
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
☆19Updated last week
Alternatives and similar repositories for sec-certs
Users that are interested in sec-certs are comparing it to the libraries listed below
Sorting:
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆70Updated last week
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆61Updated last week
- Post-quantum cryptography certificates☆70Updated 2 weeks ago
- A curated list of resources about post-quantum cryptography.☆333Updated last month
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆49Updated 3 years ago
- ☆23Updated 3 years ago
- Crypto Audit Guidelines☆134Updated 4 years ago
- Examples from Eric Vétillard's tutorial re-arranged in a Gradle project☆29Updated 4 years ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆52Updated 3 months ago
- Post-quantum Wireguard (Theory)☆11Updated 5 years ago
- A list of the state of IETF protocols and PQC☆70Updated 3 months ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆75Updated 7 years ago
- Blogs about Cryptography/Security to follow☆46Updated 3 years ago
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 3 months ago
- Implementation of mathematical operations with big numbers and elliptic curve points for smart cards with JavaCard platform.☆99Updated 8 months ago
- The Scyther Tool for the symbolic analysis of security protocols☆104Updated 2 weeks ago
- One-Time-Programmable (OTP) fusing tool☆63Updated 3 weeks ago
- Deployments of fancy cryptography☆155Updated 2 months ago
- Lean cryptographic library usable for bare-metal environments☆65Updated last week
- Coherence is cryptographic server for modern web apps☆38Updated last year
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆29Updated 7 years ago
- A repository that aims to provide tools for cryptography and cryptanalysis☆215Updated 5 years ago
- Oracle JavaCard Classic SDK-s for using as a Git submodule for ant-javacard projects☆129Updated 4 months ago
- (Oblivious) DoH Server☆26Updated 3 years ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆44Updated 4 years ago
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- Java Card Simulator☆26Updated 5 years ago
- PQC Transition Tools Index☆33Updated 6 months ago