Verifying Computations with Streaming Interactive Proofs

Graham Cormode, Justin Thaler, Ke Yi. Verifying Computations with Streaming Interactive Proofs. Electronic Colloquium on Computational Complexity (ECCC), 17:159, 2010. [doi]

Authors

Graham Cormode

This author has not been identified. Look up 'Graham Cormode' in Google

Justin Thaler

This author has not been identified. Look up 'Justin Thaler' in Google

Ke Yi

This author has not been identified. Look up 'Ke Yi' in Google