Srinath Setty

PhD student, advised by Michael Walfish

areas of interest distributed systems, operating systems, security

email srinath at cs.utexas.edu
web www.cs.utexas.edu/~srinath

publications

A hybrid architecture for interactive verifiable computation
Victor Vu, 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, 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
Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish
In NDSS 2012 - pdf :: bibtex
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In TOCS 29(4), December 2011 - pdf :: bibtex
Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, and Michael Walfish
In HotOS 2011 - pdf :: bibtex
Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, and Michael Walfish
In HotOS 2011 - pdf :: bibtex
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
In OSDI 2010 - pdf :: bibtex
Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, and Emmett Witchel
In NSDI 2010 - pdf :: bibtex