Projects

Access and Usage Control

Runtime Policy Monitoring and Enforcement

Cyber Trust

• Cyber Trust Project
• An Authenticated Digital EMblem (ADEM)
• Authentication of Physical Documents

Formal Verification of Protocols and Systems

• Formal Verification of Security Protocols with the Tamarin Prover
• Full-​Stack Verification of Secure Inter-​Domain Routing Protocols
• Igloo: End-to-End Verification of Distributed Systems

Analyzing Privacy Compliance

• Analyzing Website Compliance with Privacy Regulations (GDPR and ePrivacy)
• Exploring Mechanisms of Website Compliance with Privacy Regulations