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
- PKCS#11 Test Suite☆81Updated 2 years ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆56Updated last week
- Checking that functions are constant time with Valgrind☆196Updated 8 years ago
- Lean cryptographic library usable for bare-metal environments☆81Updated last week
- A tool to help you understand TPM commands and responses.☆47Updated last year
- A PGP packet visualizer☆185Updated 3 months ago
- A pkcs#11 provider for OpenSSL 3.0+☆110Updated 3 weeks ago
- Provides a way to load and enumerate PKCS#11 modules.☆180Updated 2 weeks ago
- A reversible DER and BER pretty-printer.☆248Updated 3 months ago
- Experimental implementation of KEMTLS in Rustls☆34Updated 2 months ago
- SSL and TLS protocol test suite and fuzzer☆613Updated last week
- Jitterentropy Library☆135Updated last week
- OpenSSL Provider for TPM2 integration☆115Updated last month
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆83Updated 2 months ago
- A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS a…☆210Updated 2 months ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆119Updated 8 years ago
- Post-quantum cryptography certificates☆77Updated this week
- Tool to check X509 certificates☆72Updated last month
- This is a Tamarin model of TLS 1.3☆41Updated 2 years ago
- Industry Working Group on Automated Cryptographic Algorithm Validation☆194Updated 2 months ago
- Linux kernel - See Landlock issues☆44Updated 2 months ago
- Asynchronous delegated key generation without shared secrets (DRAFT)☆70Updated 2 years ago
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- ☆33Updated 4 years ago
- PKCS#11 wrapper library☆359Updated last week
- PKCS#11 library and tools for Linux and AIX. Includes tokens supporting IBM crypto hardware as well as a software token.☆150Updated this week
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 6 years ago
- Static code analysis of refpolicy style SELinux policy☆49Updated 10 months ago