Datasets

• Software Risks for Critical Infrastructure towards 2040: Delphi Study Research Dataset

  Dataset

Activities

• Agile Manchester 2024

  Activity: Participating in or organising an event types › Participation in conference - Business/Professional

• SASIG Scotland - Building Cyber Resilience

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• In-person Workshop on Future CNI Risks

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Security and Resilience Growth Partnership

  Activity: Participating in or organising an event types › Participation in conference - Business/Professional

• Contribution to POSTNote: Cyber Resilience of the UK’s Digital Infrastructure

  Activity: Expert Knowledge and Consultancy types › Parliament

• Presentation to Cabinet Office CNI Specialists

  Activity: Talk or presentation types › Invited talk

• Workshop on Future Convergence Between Emerging Technology and Harms

  Activity: Participating in or organising an event types › Participation in conference - Business/Professional

• ACE-CSR Conference

  Activity: Participating in or organising an event types › Participation in conference - Business/Professional

• Workshop: Top Risks from Technology Facing Us by 2040

  Activity: Talk or presentation types › Invited talk

• National Preparedness Commission: Preparing for a growing reliance on digital interdependencies

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• ETSSU Speaker Series - Critical National Infrastructure Cybersecurity: Why is systems resilience vital to our future?

  Activity: Talk or presentation types › Invited talk

Impacts

• Government Engagement with Future of CNI Cybersecurity Conclusions

  Impact: Political Impacts

Research outputs

• Software Risks for Critical Infrastructure towards 2040: Expert Forecasts - Final Report

  Research output: Book/Report/Proceedings › Commissioned report

• The Faultless Way of Programming: Principles, Patterns, Practices, and Peculiarities for Verification in Dafny

  Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

• Spreading the Message about Critical National Infrastructure Cybersecurity

  Research output: Exhibits, objects and web-based outputs › Blog