Srinath Setty


I am a Researcher at Microsoft Research. A recurring theme in my work is to build systems that provide strong security, privacy, and correctness guarantees. My current work focusses on verifiable computation and zero-knowledge proofs, distributed storage with rich abstractions, unobservable communication, and formally verified secure systems.

I got my PhD in computer science from UT Austin where I was advised by Prof. Michael Walfish. My PhD dissertation describes the Pepper project, which ignited a new area of research for designing new theory and systems for verifiable computation. Pepper took significant steps toward making powerful theoretical constructs—probabilistically checkable proofs (PCPs) and efficient arguments—practical. Specifically, we improved the performance of a PCP-based efficient argument by over 20 orders of magnitude, and extended verifiability to representative uses of cloud computing.

Interns: Soumya Basu (2016), Ashay Rane (2016), and Chunzhi Su (2015).

My email is srinath at microsoft dot com.

Srinath's picture

Publications

  1. Realizing the fault-tolerance promise of cloud storage using locks with intent (PDF)
    Srinath Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, and Jinglei Ren
    USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, November 2016
  2. Unobservable communication over fully untrusted infrastructure (PDF)
    Sebastian Angel and Srinath Setty
    USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, November 2016
  3. Scalable and private media consumption with Popcorn (PDF)
    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, CA, March 2016.
  4. 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.
  5. 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
  6. 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
  7. 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.
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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