@inproceedings{CormodeMitzenmacherThaler12,
	author={Graham Cormode and Michael Mitzenmacher and Justin Thaler},
	booktitle={Innovations in Theoretical Computer Science (ITCS)},
	title={Practical Verified Computation with Streaming Interactive Proofs},
	year=2012,
}