1 Search Results
dirsp-exchange-kbb2017
The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol