ARG: How AWS Service Teams use Automated Reasoning for Security

Published on Dec 12, 2017

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 - http://amzn.to/2z1NSXY.