Ongoing student projects

Master's thesis

• Benjamin Simmonds: "Checking Properties of SELinux Policy Update"

Semester project

• Mihhail Sokolov: "Implementing a Mobile Application for Paper Document Authentication"