crocs-muni / usable-cert-validationLinks
Research initiative to make TLS certificate validation usable.
☆21Updated last year
Alternatives and similar repositories for usable-cert-validation
Users that are interested in usable-cert-validation are comparing it to the libraries listed below
Sorting:
- Lean cryptographic library usable for bare-metal environments☆69Updated this week
- a RTE-free X.509 parser☆63Updated 2 years ago
- Checking that functions are constant time with Valgrind☆191Updated 8 years ago
- OpenSSL Provider for TPM2 integration☆101Updated 8 months ago
- This is a Tamarin model of TLS 1.3☆40Updated 2 years ago
- PKCS#11 Test Suite☆81Updated last year
- A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS a…☆194Updated 2 months ago
- Main source code repository of the Tamarin prover for security protocol verification.☆477Updated this week
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆73Updated last week
- A pkcs#11 provider for OpenSSL 3.0+☆100Updated this week
- Experimental implementation of KEMTLS in Rustls☆32Updated last year
- AES-GCM-SIV implementations (128 and 256 bit)☆117Updated 6 years ago
- Learn how to use your Trusted Platform Module (TPM)☆137Updated 5 years ago
- Post-quantum cryptography certificates☆71Updated this week
- TLS implemented in f7☆43Updated 9 years ago
- A tool to help you understand TPM commands and responses.☆47Updated 10 months ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆109Updated 3 years ago
- Provides a way to load and enumerate PKCS#11 modules.☆166Updated 2 weeks ago
- PKCS#11 library and tools for Linux and AIX. Includes tokens supporting IBM crypto hardware as well as a software token.☆143Updated this week
- Jitterentropy Library☆124Updated last month
- SSL and TLS protocol test suite and fuzzer☆600Updated this week
- ☆33Updated this week
- wolfTPM is a highly portable TPM 2.0 library, designed for embedded use.☆289Updated this week
- ☆37Updated 8 years ago
- Library for elliptic curves cryptography☆262Updated 2 years ago
- A reversible DER and BER pretty-printer.☆248Updated 6 months ago
- A Common Criteria (CC) and FIDO certified FIDO U2F javacard applet.☆34Updated 3 years ago
- Jitterentropy RNGd☆100Updated 3 months ago
- dude, is my code constant time?☆190Updated last year
- Standard curve database.☆119Updated 2 weeks ago