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:
- a RTE-free X.509 parser☆64Updated 3 years ago
- A tool to help you understand TPM commands and responses.☆47Updated last year
- Checking that functions are constant time with Valgrind☆196Updated 8 years ago
- SSL and TLS protocol test suite and fuzzer☆613Updated this week
- Linux kernel - See Landlock issues☆44Updated last month
- Analysis of an X.509 certificate☆28Updated 10 years ago
- A reversible DER and BER pretty-printer.☆248Updated 3 months ago
- Provides a way to load and enumerate PKCS#11 modules.☆180Updated 2 weeks ago
- Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations☆182Updated 2 years ago
- Lean cryptographic library usable for bare-metal environments☆81Updated last week
- Jitterentropy Library☆133Updated 2 weeks ago
- OpenSSL Provider for TPM2 integration☆115Updated 3 weeks ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆119Updated 8 years ago
- Tutorials from TPM.dev members☆122Updated 4 months ago
- A Common Criteria (CC) and FIDO certified FIDO U2F javacard applet.☆35Updated 3 years ago
- Post-quantum cryptography certificates☆77Updated this week
- wolfTPM is a highly portable TPM 2.0 library, designed for embedded use.☆304Updated this week
- Experimental implementation of KEMTLS in Rustls☆34Updated 2 months ago
- TPM-Fail Attack code & data☆124Updated 2 years ago
- An RFC5297-compliant C implementation of AES-SIV☆20Updated 5 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆82Updated 2 months ago
- White-box Design and Analysis kit☆24Updated 2 years ago
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆61Updated 11 months ago
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- This is a Tamarin model of TLS 1.3☆41Updated 2 years ago
- A framework for verifying PKI structures☆121Updated 3 weeks ago
- A pkcs#11 provider for OpenSSL 3.0+☆108Updated 2 weeks ago
- A PGP packet visualizer☆185Updated 3 months ago
- A tool that can be used to learn state machines from implementations.☆67Updated last month
- PKCS#11 Test Suite☆81Updated 2 years ago