Michael Walfish, Andrew J. Blumberg
Research output: Contribution to journal › Article › peer-review
From theoretical possibility to near practicality.
Verifying computations without reexecuting them. / Walfish, Michael; Blumberg, Andrew J.
TY - JOUR
T1 - Verifying computations without reexecuting them
AU - Walfish, Michael
AU - Blumberg, Andrew J.
N1 - Copyright:
Copyright 2015 Elsevier B.V., All rights reserved.
PY - 2015/1/28
Y1 - 2015/1/28
N2 - From theoretical possibility to near practicality.
AB - From theoretical possibility to near practicality.
UR - http://www.scopus.com/inward/record.url?scp=84922575305&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84922575305&partnerID=8YFLogxK
U2 - 10.1145/2641562
DO - 10.1145/2641562
M3 - Article
AN - SCOPUS:84922575305
VL - 58
SP - 74
EP - 84
JO - Communications of the ACM
JF - Communications of the ACM
SN - 0001-0782
IS - 2