Master Thesis: Security Analysis of Proton Key Transparency Master Thesis on Analysing Proton's Key Transparency Scheme License The Tamarin models are licensed under GPL-v3-or-later. Everything else (slides, thesis) is licensed under CC-BY-SA-4.0.