HISC 2023 Programme






Scaling assurance: building the ecosystem we need

Duncan Attwell

Principal Technical Director for Assurance, National Cyber Security Centre

We’re seeing step changes in technology as both the innovation of components and the appetite for novel capability flourish. People in all sectors, from the battlefield to agriculture, from enterprise to the creative arts, are imagining and stumbling across new ways in which we can use technology to do more. Cyber security is a key enabler for this to happen in a safe way: we want the UK to be a science and technology superpower, but we also want it to be the safest place to live and work online.

However a challenge to achieving this is that we do not currently have the ecosystem to support gaining confidence in technology at scale. This talk will focus on how NCSCs new Cyber Resilience Testing service (using the Principles Based Assurance method) is aiming to achieve this.

Read More »

Advanced Software Development & Verification

High Integrity Software - Assurance & Ecosystems


Refreshments & Exhibition


Refreshments & Exhibition


Automated Reasoning in and about the Cloud

Rod Chapman

Senior Principal Applied Scientist, Amazon Web Services

In the last decade, AWS has become known for conspicuous success with the deployment of Automated Reasoning technologies, covering verification of key correctness properties for both customer-facing services and our internal infrastructure. In this talk, I'd like to reflect on the economic and technical incentives that have made this possible within AWS, and highlight a few notable success stories.

Read More »

Refreshments & Exhibition


Interactive Discussion Session - The next ten years of high integrity software development: the role of the human

As engineers we must continue to push the boundaries with innovative approaches to the rapid and efficient development, verification and certification of high integrity software. This draws us towards solutions offering increased automation, 'pipeline' environments, and potentially novel technologies such as generative AI. But where ultimately are the boundaries for human expertise in our future vision of high integrity software? What are the key governance roles that must retain human insight, and how will increased automation impact on our ecosystems including the future supply of suitably-qualified professionals and our ability to remediate issues rapidly when problems arise in the field?

Duncan Attwell, NCSC
Rod Chapman, Amazon Web Services
Shamal Faily, Dstl
Wrenna Robson, Royal Holloway, University of London

Paul Butcher, AdaCore


Closing Remarks


Networking/Cocktail Hour

Sponsored by

Official Media Partners

Supported by