dirsp-exchange-kbb2017
The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol
Description
Dirsp is a short form for Diskuv Implementations of Research Security Protocols. The [dirsp-exchange-kbb2017] library implements the Kobeissi, Bhargavan and Blanchet 2017 protocol that is a variant of the Signal Protocol v3 and has been verified using two complementary formal methodologies.
Install
- Published
- 17 Jun 2021
- Authors
- Maintainers
Sources
0.1.0.tar.gz
md5=a3c6f4b221fb9732bc55ab4c44e39c14
sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199
Dependencies
dirsp-proscript-mirage
= version & with-test
alcotest
>= "1.4.0" & with-test
ppx_deriving_protobuf
>= "3.0.0"
dirsp-proscript
= version
dune
>= "2.6.0"
ocaml
>= "4.08.0"
Reverse Dependencies