Graham Cormode, Justin Thaler, Ke Yi. Verifying Computations with Streaming Interactive Proofs. PVLDB, 5(1):25-36, 2011. [doi]
@article{CormodeTY11,
title = {Verifying Computations with Streaming Interactive Proofs},
author = {Graham Cormode and Justin Thaler and Ke Yi},
year = {2011},
url = {http://www.vldb.org/pvldb/vol5/p025_grahamcormode_vldb2012.pdf},
researchr = {https://researchr.org/publication/CormodeTY11},
cites = {0},
citedby = {0},
journal = {PVLDB},
volume = {5},
number = {1},
pages = {25-36},
}