|
Nikhil Panpalia Alum, advised by Michael Walfisharea of interest security
Now at Google |
publications
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, , Benjamin Braun, Andrew J. Blumberg, and Michael Walfish In USENIX Security 2012 - pdf :: bibtex |