dirsp-exchange-kbb2017

The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol

Libraries

This package provides the following libraries (via dune):

dirsp-exchange-kbb2017

Documentation: Dirsp_exchange_kbb2017

Dependencies: dirsp-proscript, ppx_deriving.runtime, ppx_deriving_protobuf.runtime