Toward practical and unconditional verification of remote computations

S Setty, AJ Blumberg, Michael Walfish

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationWorkshop on Hot Topics in Operating Systems (HotOS)
StatePublished - May 2011

Cite this

Setty, S., Blumberg, AJ., & Walfish, M. (2011). Toward practical and unconditional verification of remote computations. In Workshop on Hot Topics in Operating Systems (HotOS)

Toward practical and unconditional verification of remote computations. / Setty, S; Blumberg, AJ; Walfish, Michael.

Workshop on Hot Topics in Operating Systems (HotOS). 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Setty, S, Blumberg, AJ & Walfish, M 2011, Toward practical and unconditional verification of remote computations. in Workshop on Hot Topics in Operating Systems (HotOS).
Setty S, Blumberg AJ, Walfish M. Toward practical and unconditional verification of remote computations. In Workshop on Hot Topics in Operating Systems (HotOS). 2011
Setty, S ; Blumberg, AJ ; Walfish, Michael. / Toward practical and unconditional verification of remote computations. Workshop on Hot Topics in Operating Systems (HotOS). 2011.
@inproceedings{24999a82a4f94cdabb43f7a1aaf27564,
title = "Toward practical and unconditional verification of remote computations",
author = "S Setty and AJ Blumberg and Michael Walfish",
year = "2011",
month = "5",
language = "English (US)",
booktitle = "Workshop on Hot Topics in Operating Systems (HotOS)",

}

TY - GEN

T1 - Toward practical and unconditional verification of remote computations

AU - Setty, S

AU - Blumberg, AJ

AU - Walfish, Michael

PY - 2011/5

Y1 - 2011/5

M3 - Conference contribution

BT - Workshop on Hot Topics in Operating Systems (HotOS)

ER -