The Official AWS Podcast is a podcast for developers and IT professionals looking for the latest news and trends in storage, security, infrastructure, serverless, and more. Join Simon Elisha and Hawn Nguyen-Loughren for regular updates, deep dives, launches, and interviews. Whether you’re training machine learning models, developing open source projects, or building cloud solutions, the Official AWS Podcast has something for you.
https://aws.amazon.com/podcasts/aws-podcast/
#266: Next Generation Security with Automated Reasoning, an Artificial Intelligence Technology
AWS is implementing next generation security technology backed by automated reasoning, which uses mathematical logic to provide higher levels of security assurance. Automated reasoning automates the detection of entire classes of misconfigurations that could potentially expose vulnerable data, relieving customers from managing increasingly granular enterprise security controls. Byron Cook, Director of the Automated Reasoning Group, shares how automated reasoning is being leveraged across AWS, in areas such as verifying cryptographic protocols, deeper data protection measures and streamlining enterprise governance. https://aws.amazon.com/security/provable-security/