GDPR: Mapping Legal Requirements, Threats and Remedies

Master Thesis

Formal Verification of the Syncthing protocols

Master Semester Project