AWS re:Inforce 2019: The Evolution of Automated Reasoning Technology at AWS (SEP201)

The Automated Reasoning Group strengthened the foundations of AWS and provided customers with tools to verify their own security posture. In this session, we’ll discuss the evolution of automated reasoning technology at AWS and how it works in the services in which it is embedded, including Amazon S3, AWS Config, and Amazon Macie. Attendees also learn what’s ahead for automated reasoning at AWS and the customer problems it continues to solve in the security and broader cloud space.

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