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.
Speaker bio
Michael Tautschnig is a Lecturer at Queen Mary University of London and a Senior Software Development Engineer at Amazon Web Services. The focus of his research lies in the application of automated formal methods for software and systems analysis, mostly applying model checking. In his role at Amazon Web Services, Michael applies automated software verification to low-level software to prove the absence of classes of security problems.Share this:
