@conference {208806,
	author = {Kathleen Fisher},
	title = {Using Formal Methods to Eliminate Exploitable Bugs},
	year = {2015},
	address = {Washington, D.C.},
	publisher = {USENIX Association},
	month = aug
}
