dirsp-exchange-kbb2017

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