Srinath Setty


I am a Researcher at Microsoft Research with research interests in distributed systems, security, and privacy. Im currently working on distributed ledgers with strong confidentiality. Im also working on other topics including verifiable databases, unobservable communication, and formally verified secure systems. I got my PhD in computer science from UT Austin where I worked on the Pepper project, which ignited a thriving research area to refine and implement deep theoretical constructs such as argument protocols based on probabilistically checkable proofs (PCPs). At MSR, I am fortunate to have worked with many excellent interns: Sebastian Angel (2017), Tyler Hunt (2017), Bernhard Kragl (2017), Kevin Sekniqi (2017), Soumya Basu (2016), Ashay Rane (2016), Hao Chen (2015-16), and Chunzhi Su (2015).

My email is srinath at microsoft dot com.

Srinath's picture

Publications

  1. Vale: Verifying high-performance cryptographic assembly code
    Barry Bond, Chris Hawblitzel,Manos Kapritsos, K. Rustan M.Leino,Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath Setty, and Laure Thompson
    USENIX Security symposium, USENIX Security 2017, Vancouver, BC, Canada, August 2017
    USENIX Distinguished paper award
  2. IronFleet: Proving safety and liveness of practical distributed systems
    Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, and Brian Zill
    Communications of the ACM (CACM) 60(7), July 2017.
  3. 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
  4. 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
  5. 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.
  6. 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.
  7. 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
  8. 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
  9. 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.
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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