@inproceedings {189936,
	author = {Kevin Chen and Warren He and Devdatta Akhawe and Vijay D{\textquoteright}Silva and Prateek Mittal and Dawn Song},
	title = {{ASPIRE}: Iterative Specification Synthesis for Security},
	booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)},
	year = {2015},
	address = {Kartause Ittingen, Switzerland},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/chen_kevin},
	publisher = {USENIX Association},
	month = may
}
