Taking Proof-Based Verified Computation a Few Steps Closer to Practicality

TitleTaking {Proof-Based} Verified Computation a Few Steps Closer to Practicality
Publication TypeConference Paper
Year of Publication2012
AuthorsSetty S, Vu V, Panpalia N, Braun B, Blumberg AJ, Walfish M
Conference Name21st USENIX Security Symposium (USENIX Security 12)
Date Published08/2012
PublisherUSENIX Association
Conference LocationBellevue, WA
ISBN Number978-931971-95-9
URLhttps://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/setty