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

Byron Cook

Sr. Principal/Director, ARG , Amazon Web Services

Speaker Bio

Byron Cook is an Applied Scientist at Amazon Web Services. At Amazon, Byron leads the Automated Reasoning Group, which focused on using formal/constraint-based tools for reasoning about cloud-computing security. Byron’s past experience includes topics in biological systems, formal methods, logic, programming languages, hardware design, and operating systems. Byron also has interest and expertise in the areas of hardware and systems, based on previous work experience in Intel’s microprocessor design division and Microsoft’s Windows kernel team.

Speaker Sessions