Srinath T. V. Setty

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 36

Top Topics

Distributed Systems

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Arasu Arun, Srinath T. V. Setty, Justin Thaler
Jolt: SNARKs for Virtual Machines via Lookups. EUROCRYPT (6) (2024)
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. USENIX Security Symposium (2024)
Abhiram Kothapalli, Srinath T. V. Setty
HyperNova: Recursive Arguments for Customizable Constraint Systems. CRYPTO (10) (2024)
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Unlocking the Lookup Singularity with Lasso. EUROCRYPT (6) (2024)
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Abhiram Kothapalli, Srinath T. V. Setty
CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves. IACR Cryptol. ePrint Arch. 2023 (2023)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. CRYPTO (2) (2023)
Srinath T. V. Setty, Justin Thaler
BabySpartan: Lasso-based SNARK for non-uniform computation. IACR Cryptol. ePrint Arch. 2023 (2023)
Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty
Revisiting the Nova Proof System on a Cycle of Curves. AFT (2023)
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services (extended version). IACR Cryptol. ePrint Arch. 2023 (2023)
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Unlocking the lookup singularity with Lasso. IACR Cryptol. ePrint Arch. 2023 (2023)
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Customizable constraint systems for succinct arguments. IACR Cryptol. ePrint Arch. 2023 (2023)
Arasu Arun, Srinath T. V. Setty, Justin Thaler
Jolt: SNARKs for Virtual Machines via Lookups. IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services. OSDI (2023)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Brakedown: Linear-time and post-quantum SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021 (2021)
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
FastVer: Making Data Integrity a Commodity. SIGMOD Conference (2021)
Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
Linear-time zero-knowledge SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021 (2021)
Srinath T. V. Setty
Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup. CRYPTO (3) (2020)
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
Replicated state machines without replicated execution. IEEE Symposium on Security and Privacy (2020)
Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Byzantine Ordered Consensus without Byzantine Oligarchy. OSDI (2020)
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
Replicated state machines without replicated execution. IACR Cryptol. ePrint Arch. 2020 (2020)
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
Verifiable state machines: Proofs that untrusted services operate correctly. IACR Cryptol. ePrint Arch. 2020 (2020)
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
Verifiable state machines: Proofs that untrusted services operate correctly. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Byzantine Ordered Consensus without Byzantine Oligarchy. IACR Cryptol. ePrint Arch. 2020 (2020)
Srinath T. V. Setty, Jonathan Lee
Quarks: Quadruple-efficient transparent zkSNARKs. IACR Cryptol. ePrint Arch. 2020 (2020)
Srinath T. V. Setty
Spartan: Efficient and general-purpose zkSNARKs without trusted setup. IACR Cryptol. ePrint Arch. 2019 (2019)
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
Veritas: Shared Verifiable Databases and Tables in the Cloud. CIDR (2019)
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Proving the correct execution of concurrent services in zero-knowledge. IACR Cryptol. ePrint Arch. 2018 (2018)
Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty
PIR with Compressed Queries and Amortized Query Processing. IEEE Symposium on Security and Privacy (2018)
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Proving the correct execution of concurrent services in zero-knowledge. OSDI (2018)
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson
Vale: Verifying High-Performance Cryptographic Assembly Code. USENIX Security Symposium (2017)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60 (7) (2017)
Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty
PIR with compressed queries and amortized query processing. IACR Cryptol. ePrint Arch. 2017 (2017)
Sebastian Angel, Srinath T. V. Setty
Unobservable Communication over Fully Untrusted Infrastructure. OSDI (2016)
Srinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. OSDI (2016)
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
Scalable and Private Media Consumption with Popcorn. NSDI (2016)
Trinabh Gupta, Natacha Crooks, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
Scalable and private media consumption with Popcorn. IACR Cryptol. ePrint Arch. 2015 (2015)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving practical distributed systems correct. SOSP (2015)
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Efficient RAM and control flow in verifiable outsourced computation. NDSS (2015)
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Efficient RAM and control flow in verifiable outsourced computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
Verifying computations with state. SOSP (2013)
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
Verifying computations with state. IACR Cryptol. ePrint Arch. 2013 (2013)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. EuroSys (2013)
Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
A Hybrid Architecture for Interactive Verifiable Computation. IEEE Symposium on Security and Privacy (2013)
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. USENIX Security Symposium (2012)
Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
Making argument systems for outsourced computation practical (sometimes). NDSS (2012)
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Resolving the conflict between generality and plausibility in verified computation. IACR Cryptol. ePrint Arch. 2012 (2012)
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
Taking proof-based verified computation a few steps closer to practicality (extended version). IACR Cryptol. ePrint Arch. 2012 (2012)
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish
Depot: Cloud Storage with Minimal Trust. ACM Trans. Comput. Syst. 29 (4) (2011)
Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish
Repair from a Chair: Computer Repair as an Untrusted Cloud Service. HotOS (2011)
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish
Depot: Cloud Storage with Minimal Trust. OSDI (2010)
Indrajit Roy, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
Airavat: Security and Privacy for MapReduce. NSDI (2010)