crocs-muni / usable-cert-validationLinks
Research initiative to make TLS certificate validation usable.
☆20Updated 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:
- Checking that functions are constant time with Valgrind☆189Updated 8 years ago
- Provides a way to load and enumerate PKCS#11 modules.☆167Updated this week
- A reversible DER and BER pretty-printer.☆247Updated 5 months ago
- PKCS#11 Test Suite☆81Updated last year
- SSL and TLS protocol test suite and fuzzer☆600Updated this week
- A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS a…☆190Updated last month
- a RTE-free X.509 parser☆62Updated 2 years ago
- OpenSSL Provider for TPM2 integration☆99Updated 7 months ago
- Post-quantum cryptography certificates☆69Updated 3 weeks ago
- This is a Tamarin model of TLS 1.3☆40Updated 2 years ago
- Main source code repository of the Tamarin prover for security protocol verification.☆472Updated 2 weeks ago
- Experimental implementation of KEMTLS in Rustls☆31Updated last year
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆70Updated 2 weeks ago
- A tool to help you understand TPM commands and responses.☆46Updated 9 months ago
- A FIDO2 WebAuthn BLE Android phone token☆50Updated 6 years ago
- Lean cryptographic library usable for bare-metal environments☆63Updated this week
- A PGP packet visualizer☆183Updated 9 months ago
- dude, is my code constant time?☆186Updated last year
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆108Updated 3 years ago
- PKCS#11 library and tools for Linux and AIX. Includes tokens supporting IBM crypto hardware as well as a software token.☆144Updated last week
- Jitterentropy Library☆121Updated 2 weeks ago
- Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations☆178Updated 2 years ago
- TLS implemented in f7☆43Updated 9 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆119Updated 8 years ago
- Jitterentropy RNGd☆98Updated 2 months ago
- ☆36Updated 8 years ago
- Asynchronous delegated key generation without shared secrets (DRAFT)☆69Updated last year
- PKCS#11 wrapper library☆342Updated 3 weeks ago
- Tool to check X509 certificates☆73Updated 4 years ago