crocs-muni / usable-cert-validation
Research initiative to make TLS certificate validation usable.
☆19Updated 10 months ago
Alternatives and similar repositories for usable-cert-validation:
Users that are interested in usable-cert-validation are comparing it to the libraries listed below
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Checking that functions are constant time with Valgrind☆179Updated 8 years ago
- Provides a way to load and enumerate PKCS#11 modules.☆156Updated 3 weeks ago
- ☆30Updated 11 months ago
- Jitterentropy Library☆109Updated last week
- Post-quantum cryptography certificates☆61Updated last week
- Crypto library☆56Updated 3 weeks ago
- Caml Crush: an OCaml PKCS#11 filtering proxy☆44Updated 2 years ago
- A PGP packet visualizer☆178Updated 4 months ago
- ☆33Updated 3 years ago
- Community Cryptography Test Vectors☆73Updated 2 months 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
- A Common Criteria (CC) and FIDO certified FIDO U2F javacard applet.☆33Updated 2 years ago
- Teaching materials related to the Tamarin Prover☆69Updated 7 months ago
- SSL and TLS protocol test suite and fuzzer☆579Updated this week
- 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☆46Updated last week
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆49Updated last month
- OpenSSL Provider for TPM2 integration☆95Updated 2 months ago
- Lean cryptographic library usable for bare-metal environments☆40Updated this week
- a RTE-free X.509 parser☆60Updated 2 years ago
- PKCS#11 Test Suite☆78Updated last year
- TPM-Fail Attack code & data☆120Updated last year
- TLS implemented in f7☆43Updated 8 years ago
- ☆35Updated 8 years ago
- A tweakable block cipher☆31Updated 10 months ago
- All versions of PKCS#11 specification in one place☆68Updated 10 months ago
- SIM-based QR-code authentication for basic and feature phones☆12Updated last year
- A pkcs#11 provider for OpenSSL 3.0+☆79Updated last week
- Python interface to SafeNet's PKCS11 library implementation☆64Updated last year