|
Victor Vu Alum, advised by Michael Walfisharea of interest security
|
publications
A hybrid architecture for interactive verifiable computation
, Srinath Setty, Andrew J. Blumberg, and Michael Walfish In S&P (Oakland) 2013 - pdf :: bibtex
Resolving the conflict between generality and plausibility in verified computation
Srinath Setty, Benjamin Braun, , Andrew J. Blumberg, Bryan Parno, and Michael Walfish In EuroSys 2013 - pdf :: bibtex
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, , Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish In USENIX Security 2012 - pdf :: bibtex |