Andrew J. Blumberg. Toward Practical and Unconditional Verification of Remote Computations. In Matt Welsh, editor, 13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011. USENIX Association, 2011. [doi]
Abstract is missing.