Provable Security at AWS

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