Cormode, Graham, Michael Mitzenmacher, and Justin Thaler. “Practical Verified Computation with Streaming Interactive Proofs.” In Innovations in Theoretical Computer Science (ITCS), 2012.

@inproceedings{DBLP:conf/innovations/CormodeMT12,
  author = {Cormode, Graham and Mitzenmacher, Michael and Thaler, Justin},
  title = {Practical verified computation with streaming interactive proofs},
  booktitle = {{Innovations in Theoretical Computer Science (ITCS)}},
  year = {2012}
}