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)