Srinath T. V. Setty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
12
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Nebula: Proving Machine Executions via Folding Schemes. | Arasu Arun, Srinath T. V. Setty |
| 2025 | SP | MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification. | Jiaxing Zhao, Srinath T. V. Setty, Weidong Cui, Greg Zaverucha |
| 2024 | CRYPTO | HyperNova: Recursive Arguments for Customizable Constraint Systems. | Abhiram Kothapalli, Srinath T. V. Setty |
| 2024 | EuroCrypt | Jolt: SNARKs for Virtual Machines via Lookups. | Arasu Arun, Srinath T. V. Setty, Justin Thaler |
| 2024 | EuroCrypt | Unlocking the Lookup Singularity with Lasso. | Srinath T. V. Setty, Justin Thaler, Riad S. Wahby |
| 2023 | AFT | Revisiting the Nova Proof System on a Cycle of Curves. | Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty |
| 2023 | CRYPTO | Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. | Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby |
| 2023 | OSDI | Nimble: Rollback Protection for Confidential Cloud Services. | Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla |
| 2022 | CRYPTO | Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. | Abhiram Kothapalli, Srinath T. V. Setty, Ioanna Tzialla |
| 2022 | NDSS | Transparency Dictionaries with Succinct Proofs of Correct Operation. | Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty |
| 2021 | SIGMOD | FastVer: Making Data Integrity a Commodity. | Arvind Arasu, Badrish Chandramouli, Johannes Gehrke, Esha Ghosh, Donald Kossmann, Jonathan Protzenko, Ravi Ramamurthy, Tahina Ramananandro, Aseem Rastogi, Srinath T. V. Setty, Nikhil Swamy, Alexander van Renen, Min Xu |
| 2020 | CRYPTO | Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup. | Srinath T. V. Setty |
| 2020 | OSDI | Byzantine Ordered Consensus without Byzantine Oligarchy. | Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi |
| 2020 | SP | Replicated state machines without replicated execution. | Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty |
| 2019 | CIDR | Veritas: Shared Verifiable Databases and Tables in the Cloud. | Johannes Gehrke, Lindsay Allen, Panagiotis Antonopoulos, Arvind Arasu, Joachim Hammer, James Hunter, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy, Srinath T. V. Setty, Jakub Szymaszek, Alexander van Renen, Jonathan Lee, Ramarathnam Venkatesan |
| 2018 | OSDI | Proving the correct execution of concurrent services in zero-knowledge. | Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee |
| 2018 | SP | PIR with Compressed Queries and Amortized Query Processing. | Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty |
| 2016 | NSDI | Scalable and Private Media Consumption with Popcorn. | Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish |
| 2016 | OSDI | Unobservable Communication over Fully Untrusted Infrastructure. | Sebastian Angel, Srinath T. V. Setty |
| 2016 | OSDI | Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. | Srinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren |
| 2015 | NDSS | Efficient RAM and control flow in verifiable outsourced computation. | Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish |
| 2015 | SOSP | IronFleet: proving practical distributed systems correct. | Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill |
| 2013 | EuroSys | Resolving the conflict between generality and plausibility in verified computation. | Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish |
| 2013 | SP | A Hybrid Architecture for Interactive Verifiable Computation. | Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |
| 2013 | SOSP | Verifying computations with state. | Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish |
| 2012 | NDSS | Making argument systems for outsourced computation practical (sometimes). | Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish |
| 2011 | HotOS | Repair from a Chair: Computer Repair as an Untrusted Cloud Service. | Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish |
| 2010 | NSDI | Airavat: Security and Privacy for MapReduce. | Indrajit Roy, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel |
| 2010 | OSDI | Depot: Cloud Storage with Minimal Trust. | Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish |