Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Formal Reasoning about the Security of Amazon Web Services

Loading Video...
Duration: 0:51:29 | Added: 18 Jul 2018
Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS.

This talk will focus on how AWS services connect customers to logic-based techniques, as well as how AWS uses formal verification internally to provide higher assurance of its security.

Copy and paste this HTML snippet to embed the audio or video on your site: