Return to search

Practical Verified Computation with Streaming Interactive Proofs

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. / Engineering and Applied Sciences

Identiferoai:union.ndltd.org:harvard.edu/oai:dash.harvard.edu:1/11169768
Date14 October 2013
CreatorsThaler, Justin R
ContributorsMitzenmacher, Michael D.
PublisherHarvard University
Source SetsHarvard University
Languageen_US
Detected LanguageEnglish
TypeThesis or Dissertation
Rightsopen

Page generated in 0.0024 seconds