Research activities

Secure Enterprise Companion Device (SECD)

Corporate Insider Threat Detection: Cyber Security Inside and Out

Changing Character of War Centre

“Automated Verification” research theme

Systems Verification research group

Security Protocols for ad hoc networks

Privacy Value Networks

MyTrustedCloud

Ensuring Consent and Revocation (EnCoRe)

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