No
Confirm and Proceed
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 schedule for any repeats of this session. In order to search for repeats of this session, please type the Session ID into the search bar at the top of the page.
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

SEC330 - Automating Compliance Certification with Automated Mathematical Proof

Session Description

At AWS, we have begun using automated mathematical proof search methods to automate compliance certification. Our approach uses automated mathematical proof tools to find arguments that express, in a repeatable precise way, what controls are used, and why and how they are correctly implemented. In this chalk talk, learn how auditors can independently validate design and operating effectiveness using open-source and community-validated tools. This validation approach provides evidence of the operating effectiveness of a control at all times, for all operations. This approach can reduce costs and takes the time spent achieving compliance certification from months to seconds. This approach can also remove ambiguity from what it means to be compliant with a particular control.

Session Speakers
Additional Information
Chalk Talk
Security, Identity, and Compliance
300 - Advanced
Please note that session information is subject to change.
Aria
Session Schedule
    Media