Loading…
Enigma 2019 has ended
Monday, January 28 • 3:00pm - 3:30pm
Provable Security at AWS

Sign up or log in to save this to your schedule 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.

Speakers
NR

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
Grand Peninsula Ballroom ABCD

Twitter Feed