Benjamin Braun

Alum, advised by Michael Walfish

area of interest security

web stanford.edu/~bbraun

Now a PhD student at Stanford.

publications

Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng (Andy) Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In SOSP 2013 - pdf :: slides :: bibtex
Resolving the conflict between generality and plausibility in verified computation
Srinath Setty, Benjamin Braun, Victor Vu, 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, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish
In USENIX Security 2012 - pdf :: bibtex