Export 4 results:
Filters: Author is Andrew J. Blumberg  [Clear All Filters]
Angel S, Blumberg AJ, Ioannidis E, Woods J.  2022.  Efficient Representation of Numerical Optimization Problems for SNARKs. 31st USENIX Security Symposium (USENIX Security 22). :4273--4290.
Angel S, Wahby RS, Howald M, Leners JB, Spilo M, Sun Z, Blumberg AJ, Walfish M.  2016.  Defending against Malicious Peripherals with Cinch. 25th USENIX Security Symposium (USENIX Security 16). :397--414.
Blumberg AJ.  2011.  Toward Practical and Unconditional Verification of Remote Computations. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).