AI Cyber Security

This comprises both the use of AI for cyber security (including data-driven techniques such as Machine Learning, but also knowledge-based techniques such as Argumentation, Normative Systems, Trust), and the cyber security of AI itself (including security, trust, privacy and transparency guarantees).
  

Human-centred Cyber Security

This comprises human factors in security and privacy as well as usable security and privacy. We study preferences, perceptions and mental models of security and privacy in systems, we design and develop novel user-centred and easy-to-use security and privacy mechanisms, and we create mechanisms to explain security and privacy in an actionable way.

Formal Cyber Security

This includes the theoretical aspects of cyber security such as theoretical computer science approaches for verification and testing to provide assurance, correctness and technology-readiness of security protocols, mobile and web applications, cyber-physical systems and the Internet of Things, blockchain, bitcoin, and cryptocurrencies.

Strategic Cyber Security

This includes the socio-political and strategic aspects of cyber security such as cyber risks, cyber threats, cyber intelligence, cyber policy and cyber defence, and their relationship to risk assessment, management and governance.