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:
- A tool to help you understand TPM commands and responses.☆45Updated 6 months ago
- A pkcs#11 provider for OpenSSL 3.0+☆88Updated last week
- Post-quantum cryptography certificates☆66Updated 3 weeks ago
- PKCS#11 Test Suite☆80Updated last year
- Lean cryptographic library usable for bare-metal environments☆56Updated last 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…☆184Updated this week
- NIST CSRC Cryptography Toolkit test vectors (unofficial and dumped to text)☆24Updated 6 years ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated this week
- PKCS#11 library and tools for Linux and AIX. Includes tokens supporting IBM crypto hardware as well as a software token.☆142Updated last week
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆32Updated 2 months ago
- A list of the state of IETF protocols and PQC☆62Updated 4 months ago
- TPM Remote Attestation protocol using go-tpm and gRPC☆25Updated last month
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆118Updated 8 years ago
- OpenSSL Provider for TPM2 integration☆96Updated 5 months ago
- Jitterentropy Library☆116Updated last week
- This is a Tamarin model of TLS 1.3☆39Updated last year
- Checking that functions are constant time with Valgrind☆184Updated 8 years ago
- a RTE-free X.509 parser☆61Updated 2 years ago
- A history of PGP-related vulnerabilities☆24Updated 3 years ago
- Linux kernel - See Landlock issues☆41Updated 2 months ago
- An universal usable FIDO U2F authenticator applet for Java Cards☆44Updated 5 years ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆52Updated this week
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆55Updated last year
- A PKCS#11 interface for TPM2 hardware☆304Updated 2 months ago
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆33Updated 9 years ago
- A tool that can be used to learn state machines from implementations.☆65Updated 4 years ago
- Static code analysis of refpolicy style SELinux policy☆44Updated 3 months ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆106Updated 3 years ago
- Asynchronous delegated key generation without shared secrets (DRAFT)☆67Updated last year
- Java Card implementation of the OpenPGP smart card☆69Updated 2 years ago