Practical verified computation with streaming interactive proofs

DOI10.1145/2090236.2090245zbMath1347.68157MaRDI QIDQ2826047

Michael Mitzenmacher, Justin Thaler, Graham Cormode

Publication date: 7 October 2016

Published in: Proceedings of the 3rd Innovations in Theoretical Computer Science Conference (Search for Journal in Brave)

Full work available at URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:11169768

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68P15: Database theory

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)