Ongoing student projects

Master's thesis

• Benjamin Simmonds: "Checking Properties of SELinux Policy Update"
• Jonas Passweg: "Unification modulo homomorphic encryption in the Tamarin Prover"
• Lasse Meinen: "Verification^2 of Digital Red Crosses" (in collaboration with the Programming Methodology Group)

Bachelor's thesis

• Daniel Gradwohl: "Model transformations for privacy by design"

Semester project

• Loïc Baccigalupi: "Formal Verification of the Syncthing protocols"
  
• Silas Meier: "An Authentic Digital Emblem: Empirical Analysis of Covert Inspection"
• Sarina Müller: "Formalizing Adversary Capabilities in Tamarin for Attacks on Threema"
  
• Mihhail Sokolov: "Implementing a Mobile Application for Paper Document Authentication"