Toward practical argument systems for verifiable computation - Setty, Srinath (2014)
null
Bert Kay Best Dissertation Award from the UT Department of Computer Science