@inproceedings {280004,
	author = {Sebastian Angel and Andrew J. Blumberg and Eleftherios Ioannidis and Jess Woods},
	title = {Efficient Representation of Numerical Optimization Problems for {SNARKs}},
	booktitle = {31st USENIX Security Symposium (USENIX Security 22)},
	year = {2022},
	isbn = {978-1-939133-31-1},
	address = {Boston, MA},
	pages = {4273--4290},
	url = {https://www.usenix.org/conference/usenixsecurity22/presentation/angel},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {197175,
	author = {Sebastian Angel and Riad S. Wahby and Max Howald and Joshua B. Leners and Michael Spilo and Zhen Sun and Andrew J. Blumberg and Michael Walfish},
	title = {Defending against Malicious Peripherals with Cinch},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {397--414},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/angel},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {180216,
	author = {Srinath Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew J. Blumberg and Michael Walfish},
	title = {Taking {Proof-Based} Verified Computation a Few Steps Closer to Practicality},
	booktitle = {21st USENIX Security Symposium (USENIX Security 12)},
	year = {2012},
	isbn = {978-931971-95-9},
	address = {Bellevue, WA},
	pages = {253--268},
	url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/setty},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {266882,
	author = {Andrew J. Blumberg},
	title = {Toward Practical and Unconditional Verification of Remote Computations},
	booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)},
	year = {2011},
	address = {Napa, CA},
	url = {https://www.usenix.org/conference/hotosxiii/toward-practical-and-unconditional-verification-remote-computations},
	publisher = {USENIX Association},
	month = may
}
