5 Search Results
dirsp-exchange
Published protocols for the authenticated message exchange
0.1.0
Apache-2.0
Used by 0 other packages
dirsp-exchange-kbb2017
The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol
dirsp-proscript
OCaml-ified interfaces for the ProScript Cryptography Library
dirsp-proscript-mirage
Mirage crypto backed implementation of the ProScript Cryptography Library
dirsp-ps2ocaml
ProScript to OCaml translator
0.1.0
Apache-2.0
Used by 0 other packages