Projects

“Automated Verification” research theme

Systems Verification research group

Information Security group

Next-generation Airspace Security

Continuous user authentication and behavioural biometrics

Security Protocols for ad hoc networks

Privacy Value Networks

Evaluating Usability, Security, and Trustworthiness of Ad-hoc Collaborative Environments (EUSTACE)

MyTrustedCloud

Ensuring Consent and Revocation (EnCoRe)