crocs-muni / usable-cert-validationLinks
Research initiative to make TLS certificate validation usable.
☆19Updated 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☆184Updated 8 years ago
- A tool to help you understand TPM commands and responses.☆44Updated 6 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 3 years ago
- TPM Remote Attestation protocol using go-tpm and gRPC☆25Updated last week
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆67Updated last month
- ☆30Updated last year
- a RTE-free X.509 parser☆61Updated 2 years ago
- Post-quantum cryptography certificates☆64Updated this week
- Jitterentropy RNGd☆97Updated 11 months ago
- A suite of testvectors for X.509 certificate path validation and tools for building them☆52Updated last week
- OpenSSL Provider for TPM2 integration☆96Updated 4 months ago
- a pkcs#11 software token written in Rust☆23Updated this week
- ☆33Updated 3 years ago
- This is a Tamarin model of TLS 1.3☆37Updated last year
- Tool for generation of data from cryptoprimitives (block and stream ciphers, hash functions). Cryptoprimitives are round-reduced and the …☆14Updated 2 years ago
- Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system☆21Updated 2 months ago
- Community Cryptography Test Vectors☆77Updated last month
- An RFC5297-compliant C implementation of AES-SIV☆19Updated 4 years ago
- Jitterentropy Library☆114Updated this week
- NIST CSRC Cryptography Toolkit test vectors (unofficial and dumped to text)☆24Updated 6 years ago
- Tool to check X509 certificates☆73Updated 4 years ago
- TLS implemented in f7☆43Updated 8 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆118Updated 8 years ago
- A Common Criteria (CC) and FIDO certified FIDO U2F javacard applet.☆32Updated 2 years ago
- A tool that can be used to learn state machines from implementations.☆65Updated 4 years ago
- The Cryspen HACL Distribution☆18Updated last month
- Teaching materials related to the Tamarin Prover☆70Updated 10 months ago
- Abandoned—Virtual FIDO U2F Token Chrome Extension☆62Updated 9 years ago
- Lean cryptographic library usable for bare-metal environments☆54Updated this week
- Linux kernel - See Landlock issues☆40Updated last month