package pkcs11

  1. Overview
  2. Docs

Description

This library contains type definitions for the PKCS#11 API.

This API is used by smartcards and Hardware Security Modules to perform cryptographic operations such as signature or encryption.

Tags

org:cryptosense

Published: 31 Jan 2019

README

Pkcs11 - bindings to the PKCS#11 cryptographic API

PKCS11 is an API used by smartcards and Hardware Security Modules to perform cryptographic operations such as signature or encryption.

This library is made of several packages:

  • pkcs11: type definitions corresponding to the PKCS#11 API

  • pkcs11-cli: a library exposing cmdliner arguments used to initiate a PKCS#11 session

  • pkcs11-driver: bindings to emit calls to a PKCS#11 dll

  • pkcs11-driver.fake: a fake pkcs11 dll that returned hardcoded values, used for testing

  • pkcs11-rev: reverse bindings to write OCaml PKCS#11 implementations

The entry point of this library is [P11.load_driver]. Examples are available in test/examples/.

Dependencies (9)

  1. ocaml >= "4.04.0"
  2. zarith
  3. ppx_variants_conv
  4. yojson < "2.0.0"
  5. ppx_deriving_yojson >= "3.2"
  6. ppx_deriving >= "4.2"
  7. integers < "0.5.0"
  8. hex >= "1.0.0"
  9. dune >= "1.3.0"

Dev Dependencies (1)

  1. ounit with-test

Conflicts (1)

  1. ppx_core < "v0.9.3"