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

Byron Cook

Series featuring Byron Cook

  • Federated Logic Conference (FLoC) 2018
# Episode Title Description People Date
1 Creative Commons Formal Reasoning about the Security of Amazon Web Services 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. Byron Cook 18 Jul 2018