Toward practical argument systems for verifiable computation

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

下载 BibTex

null