caml-pkcs11 / caml-crushLinks
Caml Crush: an OCaml PKCS#11 filtering proxy
☆45Updated 3 years ago
Alternatives and similar repositories for caml-crush
Users that are interested in caml-crush are comparing it to the libraries listed below
Sorting:
- Secure HSM implementation based on MirageOS☆38Updated 3 years ago
- Simple PKCS11 provider for TPM chips☆255Updated 2 months ago
- [DEPRECATED] PKCS#11 Module for TPM 2.0☆68Updated 5 years ago
- PKCS#11 Test Suite☆81Updated last year
- ☆37Updated 8 years ago
- python PKCS11 REST proxy☆20Updated 3 months ago
- Use a TPM to store a TOTP token in order to attest boot state to another device☆209Updated 2 years ago
- Mirage support for writing QubesOS AppVM unikernels☆64Updated 9 months ago
- Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras☆24Updated 8 years 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…☆200Updated 3 months ago
- Abandoned—Virtual FIDO U2F Token Chrome Extension☆62Updated 9 years ago
- some TLS utilities☆17Updated 9 years ago
- A reversible DER and BER pretty-printer.☆248Updated last month
- TLS implemented in f7☆43Updated 9 years ago
- PKCS#11 and CSP-Minidriver library for the SmartCard-HSM and STARCOS based signature cards☆110Updated 2 weeks ago
- A Mirage firewall VM for QubesOS☆229Updated 2 weeks ago
- Regenerable ed25519 keys for OpenSSH and OpenPGP.☆36Updated 6 years ago
- Applet for testing ecc curves☆25Updated 6 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 5 years ago
- An open source reference card application for NIST FIPS 201-2 / NIST SP800-73-4, targeting Javacard 3.0.4+☆79Updated 3 months ago
- A PGP packet visualizer☆183Updated last month
- Abusing U2F to 'store' a stable secret☆16Updated 10 years ago
- X.509 certificate linter☆158Updated 5 years ago
- PKCS#11 provider with smart card support via GnuPG☆36Updated 6 years ago
- Java Card FIDO U2F authenticator for Ledger Unplugged☆74Updated 5 years ago
- Javacard implementation of Curve25519 (prototype, work-in-progress)☆31Updated 4 years ago
- Checking that functions are constant time with Valgrind☆194Updated 8 years ago
- Split SSH implementation for QubesOS☆41Updated 5 years ago
- A CSP for the OpenPGP card - goal: add write support for certificate enrollment☆43Updated 6 years ago
- PKCS#11 library and tools for Linux and AIX. Includes tokens supporting IBM crypto hardware as well as a software token.☆144Updated this week