OCaml Library Documentation¶
dirsp-exchange-kbb2017¶
OCaml Library: dirsp-exchange-kbb2017 - The KBB2017 protocol for securing a two-party conversation. Similar to Signal Protocol v3 [1] [2]
dirsp-proscript¶
OCaml Library: dirsp-proscript - The ProScript Cryptographic Library (PSCL) API interface.
dirsp-proscript-mirage¶
OCaml Library: dirsp-proscript-mirage - A PSCL implementation based on mirage-crypto and related libraries
dirsp-ps2ocaml¶
Executable: dirsp-ps2ocaml - A ProScript to OCaml translator.