Formal Reasoning about the Security of Amazon Web Services

Federated Logic Conference (FLoC) 2018 ›

51:29 | Jul 18th, 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 wi...Show More