Ethics and Morality of Robotics
Jul 18, 2018 - 53:21
Radio and PodcastLive Radio & PodcastsTechnology
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. This talk will focus on how AWS s...
About This Episode
Formal Reasoning about the Security of Amazon Web Services is an episode from Federated Logic Conference (FLoC) 2018 by Oxford University. Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the se...
Podcast
This episode belongs to Federated Logic Conference (FLoC) 2018.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Jul 18, 2018, 51:29 long, audio available.
Related Episodes
Continue listening to more episodes from Federated Logic Conference (FLoC) 2018.
The Logic of Real Proofs
Jul 16, 2018 - 66:11
Looking Backward; Looking Forward
Jul 13, 2018 - 62:37
Pseudo deterministic algorithms and proofs
Jul 13, 2018 - 66:47
Continuous Reasoning: Scaling the impact of formal methods
Jul 10, 2018 - 53:19
Questions About This Episode
What is Formal Reasoning about the Security of Amazon Web Services about?
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.
Where can I listen to Formal Reasoning about the Security of Amazon Web Services?
You can listen to Formal Reasoning about the Security of Amazon Web Services online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is Formal Reasoning about the Security of Amazon Web Services from?
Formal Reasoning about the Security of Amazon Web Services is an episode from Federated Logic Conference (FLoC) 2018 by Oxford University.
How long is this episode?
This episode is 51:29 long.
When was this episode published?
This episode was published on Jul 18, 2018.
Can I save Formal Reasoning about the Security of Amazon Web Services for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from Federated Logic Conference (FLoC) 2018?
Yes. This page shows related episodes from Federated Logic Conference (FLoC) 2018 when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to Formal Reasoning about the Security of Amazon Web Services?
You can listen to Formal Reasoning about the Security of Amazon Web Services on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
Formal Reasoning about the Security of Amazon Web Services is from Federated Logic Conference (FLoC) 2018 by Oxford University.
What are the episode details?
Published Jul 18, 2018 and 51:29 long