Return
Continue
View More
View Less
Working...
Close
OK
Cancel
Confirm
System Message
Delete
Schedule
An unknown error has occurred and your request could not be completed. Please contact support.
Reserved - Scan in at least 10 minutes before the beginning of the session.
This has been added to your Planner. Please note: This is not a reserved seat.
Waitlisted - you may be assigned a reserved seat if one becomes available.

Please be sure to check the session detail of this session for a full list of repeat sessions.

Personal Calendar
 
Conference Event
Meeting
Interests
There aren't any available sessions at this time.
Conflict Found
This session is already scheduled at another time. Would you like to...
Loading...
Please enter a maximum of {0} characters.
{0} remaining of {1} character maximum.
Please enter a maximum of {0} words.
{0} remaining of {1} word maximum.
must be 50 characters or less.
must be 40 characters or less.
Session Summary
We were unable to load the map image.
This has not yet been assigned to a map.
Search Catalog
Reply
Replies ()
Search
New Post
Microblog
Microblog Thread
Post Reply
Post
Your session timed out.
Meeting Summary

SEP201 - The evolution of automated reasoning technology at AWS

Session Description

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.

Session Speakers
Session Schedule
    Additional Information
    Please note that session information is subject to change.
    Session
    Boston Convention Center
    https://youtu.be/x6wsTFnU3eY
    https://www.slideshare.net/AmazonWebServices/the-evolution-of-automated-reasoning-technology-at-aws-sep201-aws-reinforce-2019