Toward Practical and Unconditional Verification of Remote Computations.

Andrew J. Blumberg

Browse the full HotOS paper archive.