Taking proof-based verified computation a few steps closer to practicality (2012)

by S Setty, V Vu, N Panpalia, B Braun, A J Blumberg, M Walfish
Venue:In USENIX Security