Ethics and Morality of Robotics
Jul 18, 2018 - 53:21
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsAmazon 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...
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...
This episode belongs to Federated Logic Conference (FLoC) 2018.
Use the player on this page to stream the episode online.
Published Jul 18, 2018, 51:29 long, audio available.
Continue listening to more episodes from Federated Logic Conference (FLoC) 2018.
Jul 18, 2018 - 53:21
Jul 16, 2018 - 66:11
Jul 13, 2018 - 62:37
Jul 13, 2018 - 66:47
Jul 10, 2018 - 53:19