Srinath Setty


I am a Researcher at Microsoft Research. I am interested in distributed systems, security, and privacy. Click here to go to my new Web page.

My current work focusses on building a practical system for verifiable computation, distributed storage with rich abstractions, strong privacy guarantees for media consumption and communication, and formally verified distributed systems.

I finished my PhD in computer science in the December of 2014 at UT Austin where I was advised by Professor Michael Walfish. During my graduate school, I was the student lead for the Pepper project, which ignited a new area of research for designing new theory and building systems to verifiably execute computations on untrusted platforms. My dissertation describes the systems we built in the Pepper project, and they took significant steps toward making proof-based verifiable computation, based on powerful theoretical constructs such as probabilistically checkable proofs (PCPs) and efficient arguments, practical. Specifically, we improved the performance of a PCP-based efficient argument by 20 orders of magnitude, and extended verifiability to representative uses of cloud computing.

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. Scalable and private media consumption with Popcorn
    Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, and Michael Walfish
    USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016, Santa Clara, March 2016
  2. IronFleet: Proving Practical Distributed Systems Correct (PDF)
    Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, and Brian Zill
    ACM Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, October 2015
  3. Efficient RAM and control flow in verifiable outsourced computation (PDF, Full version)
    Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, and Michael Walfish
    Network & Distributed System Security Symposium, NDSS 2015, San Diego, CA, February 2015
  4. Toward practical argument systems for verifiable computation (PDF)
    Srinath Setty
    Ph.D. Dissertation, The University of Texas at Austin, December 2014
    Winner, Bert Kay Best Dissertation Award from the UT Department of Computer Science
  5. 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.
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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