Provable Security at AWS

Website Maintenance Alert

Due to scheduled maintenance on Wednesday, October 16, from 10:30 am to 4:30 pm Pacific Daylight Time (UTC -7), parts of the USENIX website (e.g., conference registration, user account changes) may not be available. We apologize for the inconvenience.

If you are trying to register for LISA19, please complete your registration before or after this time period.

Monday, January 28, 2019 - 3:00 pm3:30 pm

Neha Rungta, Amazon Web Services


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 at NASA Ames. She graduated with a PhD in Computer Science from BYU in 2009.

@inproceedings {226471,
author = {Neha Rungta},
title = {Provable Security at {AWS}},
booktitle = {Enigma 2019 (Enigma 2019)},
year = {2019},
address = {Burlingame, CA},
url = {},
publisher = {{USENIX} Association},
month = jan,

Presentation Video