Refereed delegation of computation
- 1 May 2013
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 226, 16-36
- https://doi.org/10.1016/j.ic.2013.03.003
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Universal Arguments and their ApplicationsSIAM Journal on Computing, 2009
- Computationally Sound ProofsSIAM Journal on Computing, 2000
- Probabilistic checking of proofsJournal of the ACM, 1998
- Algebraic methods for interactive proof systemsJournal of the ACM, 1992