| Original language | English (US) |
|---|---|
| Title of host publication | Workshop on Hot Topics in Operating Systems (HotOS) |
| State | Published - May 2011 |
Toward practical and unconditional verification of remote computations
S Setty, AJ Blumberg, Michael Walfish
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution