USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 4 results:
Filters: Author is Andrew J. Blumberg [Clear All Filters]
.
2022. Efficient Representation of Numerical Optimization Problems for SNARKs. 31st USENIX Security Symposium (USENIX Security 22). :4273--4290.
.
2016. Defending against Malicious Peripherals with Cinch. 25th USENIX Security Symposium (USENIX Security 16). :397--414.
.
2012. Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. 21st USENIX Security Symposium (USENIX Security 12). :253--268.
.
2011. Toward Practical and Unconditional Verification of Remote Computations. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).