Toward practical argument systems for verifiable computation

Bert Kay Best Dissertation Award from the UT Department of Computer Science

Download BibTex

null