Tamarin proofs for the OTR and PAKE security protocols
-
Updated
May 31, 2020 - Makefile
Tamarin proofs for the OTR and PAKE security protocols
Add a description, image, and links to the pake topic page so that developers can more easily learn about it.
To associate your repository with the pake topic, visit your repo's landing page and select "manage topics."