Ongoing student projects

Master's thesis

• Benjamin Simmonds: "Checking Properties of SELinux Policy Update"
• David Schmid: "Protocols and Tools for GDPR-Compliant Mass Mailing"

Semester project

• Mihhail Sokolov: "Implementing a Mobile Application for Paper Document Authentication"
• Michael Zischg: "Formal Analysis of Protocols for the Swiss E-ID"