@inproceedings{CormodeThalerYi12,
	author={Graham Cormode and Justin Thaler and Ke Yi},
	booktitle={International Conference on 
                  Very Large Data Bases ({VLDB})},
	month=sep,
	title={Verifying Computations with Streaming Interactive Proofs},
	year=2012,
}