Projects

Access and Usage Control

chevron_right Runtime Policy Monitoring and Enforcement

Cyber Trust

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

Formal Verification of Protocols and Systems

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

Analyzing Privacy Compliance

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