Srinath Setty


I am a computer science PhD student in the LASR group at UT Austin, working with Prof. Michael Walfish. My research interests are in security, privacy, applied cryptography, and distributed systems.

My current research is on designing and implementing a system for verifiable execution of computations: a system in which one machine can verify the correctness of computations executed by another machine, without recomputation, and without any assumptions about the type of those computations or the performing machine (see our Pepper-Ginger-Zaatar-Allspice line of work).

Before this project, I worked on Depot (a cloud storage system that tolerates buggy or malicious behavior by any number of clients or servers, yet it provides safety and liveness guarantees to correct clients) and Airavat (a MapReduce based system that provides strong security and privacy guarantees for distributed computations on sensitive data).

Before joining the PhD program, I worked as a software engineer at Yahoo! Research and Development India. Before that, I was an undergraduate student at NITK Surathkal. My email id is srinath at cs dot utexas dot edu.

Srinath's picture

Publications

  1. Verifying computations with state
    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.
    Cryptology ePrint 2013/356, June 2013, and also UTCS Tech Report TR-13-10, May 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)
    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)
    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)
    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