Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges

Formal Reasoning about the Security of Amazon Web Services

Series
Federated Logic Conference (FLoC) 2018
Video Embed
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.

More in this series

View Series
Journey of a Molecular Detective; David Sherratt

The Logic of Real Proofs

George Gonthier delivers a lecture at FLoc2018
Previous
Journey of a Molecular Detective; David Sherratt

Ethics and Morality of Robotics

The future of robotics raises important questions for humanity.
Next
Licence
Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series
Federated Logic Conference (FLoC) 2018
People
Byron Cook
Keywords
computer science
floc
Department: Department of Computer Science
Date Added: 18/07/2018
Duration: 00:51:29

Subscribe

Apple Podcast Video Video RSS Feed

Download

Download Video

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford