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.

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.