Reasoning about Security of Amazon Web Services
Michael Tautschnig
- 14:00 16th November 2018 ( Michaelmas Term 2018 )Tony Hoare Room, Robert Hooke Building
Security is a top priority at Amazon Web Services. In the shared responsibility model with customers, AWS manages the components from the operating system down to the physical security of the facilities; AWS customers are responsible for securing applications they build on top of it. In this talk I will describe tools that support our customers in securing their applications, and tools that we use to secure the infrastructure. This work is part of AWS'
Provable Security initiative, where we use automated reasoning to increase the security assurance of the cloud infrastructure and the applications built on top of it.