Verifiable Stream Computation and Arthur-Merlin Communication

Amit Chakrabarti, Graham Cormode, Andrew McGregor 0001, Justin Thaler, Suresh Venkatasubramanian. Verifiable Stream Computation and Arthur-Merlin Communication. SIAM Journal on Computing, 48(4):1265-1299, 2019. [doi]

Authors

Amit Chakrabarti

This author has not been identified. Look up 'Amit Chakrabarti' in Google

Graham Cormode

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

Andrew McGregor 0001

This author has not been identified. Look up 'Andrew McGregor 0001' in Google

Justin Thaler

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

Suresh Venkatasubramanian

This author has not been identified. Look up 'Suresh Venkatasubramanian' in Google