@inproceedings {226471,
	author = {Neha Rungta},
	title = {Provable Security at {AWS}},
	booktitle = {Enigma 2019 (Enigma 2019)},
	year = {2019},
	address = {Burlingame, CA},
	url = {https://www.usenix.org/node/226472},
	publisher = {USENIX Association},
	month = jan
}
