Reasoning about Security of Amazon Web Services

  • Date Thursday, April 18, 2019  Time 1:30 PM
  • Speaker Byron Cook, Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services.
  • Location Galois Inc., 421 SW 6th Ave. Suite 300, Portland, OR, USA, (3rd floor of the Commonwealth building)
  • Galois is pleased to host the following tech talk.
    These talks are open to the interested public--please join us!
    (There is no need to pre-register for the talk.)

    The presentation will be live streamed on Galois's YouTube channel.

Abstract: 

This talk will focus on the development and use of formal verification tools within Amazon Web Services (AWS) to increase the security assurance of its cloud infrastructure and to help customers secure themselves. The talk will also touch on some remaining challenges that could inspire future research in the community.

Bio: 

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. Byron is the founder and leader of Amazon’s Automated Reasoning Group (ARG). Previous to his work at AWS, Byron developed the Terminator termination prover, as well as Windows Static Driver Verifier.