Srinath Setty

Srinath Setty

Microsoft Research - / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4382588
person_outline Srinath Setty's MOST POPULAR ARTICLES
1-) IronFleet: proving practical distributed systems correct Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015
2-) Depot: Cloud storage with minimal trust USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010 …, 2011
3-) Spartan: Efficient and general-purpose zkSNARKs without trusted setup Annual International Cryptology Conference, 2020, 2019
4-) PIR with compressed queries and amortized query processing IEEE Symposium on Security and Privacy, 2018
5-) PIR with compressed queries and amortized query processingS Angel, H Chen, K Laine, S SettyIEEE Symposium on Security and Privacy, 20183342018