@inproceedings {291023, author = {Santiago Cu{\'e}llar and Bill Harris and James Parker and Stuart Pernsteiner and Eran Tromer}, title = {Cheesecloth: {Zero-Knowledge} Proofs of Real World Vulnerabilities}, booktitle = {32nd USENIX Security Symposium (USENIX Security 23)}, year = {2023}, isbn = {978-1-939133-37-3}, address = {Anaheim, CA}, pages = {6525--6540}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/cuellar}, publisher = {USENIX Association}, month = aug } @inproceedings {203656, author = {Ren Ding and Chenxiong Qian and Chengyu Song and Bill Harris and Taesoo Kim and Wenke Lee}, title = {Efficient Protection of {Path-Sensitive} Control Security}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {131--148}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/ding}, publisher = {USENIX Association}, month = aug }