Enigma 2019 has ended
Back To Schedule
Monday, January 28 • 3:00pm - 3:30pm
Provable Security at AWS

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Using automated reasoning technology, the application of mathematical logic to help answer critical questions about your infrastructure, AWS is able to detect entire classes of misconfigurations that could potentially expose vulnerable data. We call this provable security-absolute assurance in security of the cloud and in the cloud. This talk highlights, how this next generation cloud security technology is protecting customers in an evolving threat landscape and how customers are using provable security features in their AWS cloud environment.


Neha Rungta

Principal Engineer, Amazon Web Services
Dr. Neha Rungta is a Principal Engineer in the Automated Reasoning Group with Amazon Web Services (AWS) working on formal verification techniques for cloud security. Prior to joining AWS, Neha is known for her work on symbolic execution, automated program analysis, and airspace modeling... Read More →

Monday January 28, 2019 3:00pm - 3:30pm PST
Grand Peninsula Ballroom ABCD