@article{VLDB-2012-CormodeTY11,
	author        = "Graham Cormode and Justin Thaler and Ke Yi",
	ee            = "http://www.vldb.org/pvldb/vol5/p025_grahamcormode_vldb2012.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 1,
	pages         = "25--36",
	title         = "{Verifying Computations with Streaming Interactive Proofs}",
	volume        = 5,
	year          = 2011,
}