1 Search Results
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