Associate professor of mathematics, University of Texas at Austin
I'm interested in problems arising in computer security surrounding outsourced computation and privacy-preserving protocols. With Mike Walfish and his students (notably Srinath Setty), I've been working on using the theory of probabilistically-checkable proofs to design systems which allow a client to outsource a computation to an untrusted server (e.g., "the cloud"). The server returns a result and a proof of correctness; ideally, it takes the client less time to verify the proof then to check by just recomputing the result. (This setup is sometimes referred to as "verifiable computation" or "verifiable computing".)
Our project has a webpage, and we've written a few papers on our work.
(The first paper on this list is a survey.)
Verifying computations without reexecuting them: from theoretical possibility to near-practicality|
joint with Michael Walfish
Electronic Colloquium on Computational Complexity
Verifying computations with state|
joint with Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, and Michael Walfish
ACM Symposium on Operating Systems Principles (SOSP), 2013.
A hybrid architecture for interactive verified computation|
joint with Victor Vu, Srinath Setty, and Michael Walfish
IEEE Symposium on Security and Privacy (Oakland), 2013.
Resolving the conflict between generality and plausibility in verified computation|
joint with Srinath Setty, Benjamin Braun, Victor Vu, Bryan Parno, and Michael Walfish
ACM European Conference on Computer Systems (EuroSys), 2013.
Taking proof-based verified computation a few steps closer to actual practicality|
joint with Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, and Michael Walfish
21st Usenix Security Symposium (Usenix Security), 2012.
Making argument systems for outsourced computation practical (sometimes)|
joint with Srinath Setty, Richard McPherson, and Michael Walfish
19th Network and Distributed System Security Symposium (NDSS), 2012.
Toward practical and unconditional verification of remote computations
joint with Srinath Setty and Michael Walfish
13th Workshop on Hot Topics in Operating Systems (HotOS), 2011.