ARG: How AWS Service Teams use Automated Reasoning for Security

Neha from the AWS Security Automated Reasoning Group explains how her team built new rules for AWS Config and Amazon Macie. You’ll learn about semantics-based reasoning and formal verification techniques, and how we use these at AWS to improve and automate security, both internally and for customers. Learn more at –

Duration: 7:18
Publisher: Amazon Web Services
You can watch this video also at the source.