This repository contains proofs for different security properties of the OTR and PAKE security protocols. It was created as a project in the lecture "Formal Methods for Information Security" at ETH Zürich.
Robertas and me wrote the proofs in pair programming sessions over Visual Studio Code. Conveniently, this enabled us to share the web server of the Tamarin prover without any more complex setup.