Verifying computations without reexecuting them

Michael Walfish, Andrew J. Blumberg

Research output: Contribution to journalArticlepeer-review

Abstract

From theoretical possibility to near practicality.

Original languageEnglish (US)
Pages (from-to)74-84
Number of pages11
JournalCommunications of the ACM
Volume58
Issue number2
DOIs
StatePublished - Jan 28 2015

ASJC Scopus subject areas

  • Computer Science(all)

Cite this