Mitzenmacher, Michael D.Thaler, Justin2013-10-142013-10-142013Thaler, Justin R. 2013. Practical Verified Computation with Streaming Interactive Proofs. Doctoral dissertation, Harvard University.http://dissertations.umi.com/gsas.harvard:11086http://nrs.harvard.edu/urn-3:HUL.InstRepos:11169768As 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.en-USComputer sciencecircuit evaluationdata streamsinteractive proofsverifiable computationThesis or Dissertation2013-10-1410.1145/2090236.2090245