Research activities

Trustworthy Digital Systems

Picosec

Smart Oxford

“Security” research theme

Early-Careers Researchers

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