King's College London

Research portal

Security Hub

Organisational unit: Research Group

Organisation profile

The Security Hub in the Department of Informatics strategically co-ordinates researchers from all Informatics groups around security, with a particular focus on information and cyber security. In collaboration with War and Defence Studies, the Hub is the lead in the accreditation of King’s as an Academic Centre of Excellence in Cyber Security Research (ACE-CSR), which is a crucial mechanism to facilitate engagement with external stakeholders including government organisations, research-funding agencies, and the broader industrial sector. The Security Hub’s three main research themes are as follows:

  • 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).
  • 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.
  • 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.

These themes reflect the key current cyber security strengths at KCL and the inter-disciplinary link to other key KCL strengths, notably AI, theoretical computer science, and conflict and security studies. Strategically, the themes are intertwined and complementary, and they are crucial to understanding and tackling the complex nature of evolving cyber security challenges. For instance, AI-powered cyber intelligence is becoming increasingly important for the strategy and defence of nation-states, and it lies at the intersection of AI Cyber Security and Strategic Cyber Security; likewise, the security guarantees needed for AI and Autonomous Systems, which formal verification can bring, lie at the intersection of AI Cyber Security and Formal Cyber Security.

The Champion of the Security Hub is Jose Such, and a full list of members can be found on the Hub website.

Top downloads

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454