@inproceedings {256692,
	author = {Vanessa Teague},
	title = {When Is a Proof Actually Not?},
	booktitle = {14th {USENIX} Workshop on Offensive Technologies ({WOOT} 20)},
	year = {2020},
	url = {https://www.usenix.org/node/256693},
	publisher = {USENIX Association},
	month = aug
}
