Srinath Setty


I am a computer science PhD candidate in the LASR group at UT Austin, working with Prof. Michael Walfish. I am interested in distributed systems, security, and privacy. My email id is srinath at cs dot utexas dot edu. Here is my CV.

My PhD dissertation describes a series of systems in the Pepper project, and they bring verifiable computing (via powerful theoretical constructs such as probabilistically checkable proofs) to the verge of practicality. In the past, I worked on Depot (a cloud storage system that tolerates buggy or malicious behavior by any number of nodes) and Airavat (a system for MapReduce computations over sensitive data).

Srinath's picture

Publications

  1. Verifying computations with state (PDF, Full version, Talk)
    Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
    ACM Symposium on Operating Systems Principles, SOSP 2013, Farmington, PA, November 2013.
  2. A hybrid architecture for interactive verifiable computation (PDF)
    Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish
    IEEE Symposium on Security and Privacy, S&P (Oakland) 2013, San Francisco, CA, May 2013
  3. Resolving the conflict between generality and plausibility in verified computation (PDF, Full version, Talk)
    Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, and Michael Walfish
    ACM European Conference on Computer Systems, EuroSys 2013, Prague, Czech Republic, April 2013
  4. Taking proof-based verified computation a few steps closer to practicality (PDF, Full version, Talk)
    Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish
    USENIX Security Symposium, USENIX Security 2012, Bellevue, WA, August 2012
  5. Making argument systems for outsourced computation practical (sometimes) (PDF)
    Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish
    Network & Distributed System Security Symposium, NDSS 2012, San Diego, CA, February 2012
  6. Depot: Cloud Storage with Minimal Trust (PDF)
    Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
    ACM Transactions on Computer Systems, ACM TOCS 2011, Volume 29, Number 4, Article 12, December 2011
  7. Toward practical and unconditional verification of remote computations (PDF, Talk)
    Srinath Setty, Andrew J. Blumberg, and Michael Walfish
    USENIX Workshop on Hot Topics in Operating Systems, HotOS 2011, Napa Valley, CA, May 2011
  8. Repair from a chair: Computer repair as an untrusted cloud service (PDF)
    Lon Ingram, Ivaylo Popov, Srinath Setty, and Michael Walfish
    USENIX Workshop on Hot Topics in Operating Systems, HotOS 2011, Napa Valley, CA, May 2011
  9. Depot: Cloud Storage with Minimal Trust (PDF, Full version)
    Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, and Michael Walfish
    USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010, Vancouver, BC, October 2010
  10. Airavat: Security and Privacy for MapReduce (PDF)
    Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, and Emmett Witchel
    USENIX Symposium on Networked Systems Design and Implementation, NSDI 2010, San Jose, CA, April 2010