Toward Practical and Unconditional Verification of Remote Computations

TitleToward Practical and Unconditional Verification of Remote Computations
Publication TypeConference Paper
Year of Publication2011
AuthorsBlumberg AJ
Conference Name13th Workshop on Hot Topics in Operating Systems (HotOS XIII)
Date Published05/2011
PublisherUSENIX Association
Conference LocationNapa, CA
URLhttps://www.usenix.org/conference/hotosxiii/toward-practical-and-unconditional-verification-remote-computations