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
0.1.0
Apache-2.0
Used by 1 other packages
dirsp-proscript
OCaml-ified interfaces for the ProScript Cryptography Library
0.1.0
Apache-2.0
Used by 2 other packages
dirsp-proscript-mirage
Mirage crypto backed implementation of the ProScript Cryptography Library
0.1.0
Apache-2.0
Used by 1 other packages