Projects

Corporate Insider Threat Detection: Cyber Security Inside and Out

Changing Character of War Programme

“Automated Verification” research theme

Systems Verification research group

Information Security group

Next-generation Airspace Security

Continuous user authentication and behavioural biometrics

DIET: A Different Approach to Smart Meter Data Insight against Energy Theft

Cryptography Research Group

Trustworthy Digital Systems