Practical Verified Computation with Streaming Interactive Proofs

DSpace/Manakin Repository

Practical Verified Computation with Streaming Interactive Proofs

Citable link to this page

 

 
Title: Practical Verified Computation with Streaming Interactive Proofs
Author: Thaler, Justin R
Citation: Thaler, Justin R. 2013. Practical Verified Computation with Streaming Interactive Proofs. Doctoral dissertation, Harvard University.
Full Text & Related Files:
Abstract: As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown urgent. Protocols for verifiable computation enable a weak client to outsource difficult computations to a powerful, but untrusted, server. These protocols provide the client with a (probabilistic) guarantee that the server performed the requested computations correctly, without requiring the client to perform the computations herself.
Terms of Use: This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAA
Citable link to this page: http://nrs.harvard.edu/urn-3:HUL.InstRepos:11169768
Downloads of this work:

Show full Dublin Core record

This item appears in the following Collection(s)

 
 

Search DASH


Advanced Search
 
 

Submitters