Airavat: Security and Privacy for MapReduce. - Indrajit Roy 001; Srinath T. V. Setty; Ann Kilzer; Vitaly Shmatikov; Emmett Witchel (NSDI, 2010)

Repair from a Chair: Computer Repair as an Untrusted Cloud Service. - Lon Ingram; Ivaylo Popov; Srinath T. V. Setty; Michael Walfish (HotOS, 2011)

Depot: Cloud Storage with Minimal Trust. - Prince Mahajan; Srinath T. V. Setty; Sangmin Lee; Allen Clement; Lorenzo Alvisi; Michael Dahlin; Michael Walfish (ACM Trans. Comput. Syst., 2011)

Making argument systems for outsourced computation practical (sometimes). - Srinath T. V. Setty; Richard McPherson; Andrew J. Blumberg; Michael Walfish (NDSS, 2012)

Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (USENIX Security Symposium, 2012)

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 (IACR Cryptol. ePrint Arch., 2012)

Taking proof-based verified computation a few steps closer to practicality (extended version). - Srinath T. V. Setty; Victor Vu; Nikhil Panpalia; Benjamin Braun; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2012)

A Hybrid Architecture for Interactive Verifiable Computation. - Victor Vu; Srinath T. V. Setty; Andrew J. Blumberg; Michael Walfish (IEEE Symposium on Security and Privacy, 2013)

Verifying computations with state. - Benjamin Braun; Ariel J. Feldman; Zuocheng Ren; Srinath T. V. Setty; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2013)

Efficient RAM and control flow in verifiable outsourced computation. - Riad S. Wahby; Srinath T. V. Setty; Zuocheng Ren; Andrew J. Blumberg; Michael Walfish (IACR Cryptol. ePrint Arch., 2014)

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 (SOSP, 2015)

Scalable and private media consumption with Popcorn. - Trinabh Gupta; Natacha Crooks; Srinath T. V. Setty; Lorenzo Alvisi; Michael Walfish (IACR Cryptol. ePrint Arch., 2015)

Scalable and Private Media Consumption with Popcorn. - Trinabh Gupta; Natacha Crooks; Whitney Mulhern; Srinath T. V. Setty; Lorenzo Alvisi; Michael Walfish (NSDI, 2016)

Unobservable Communication over Fully Untrusted Infrastructure. - Sebastian Angel; Srinath T. V. Setty (OSDI, 2016)

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 030; Parveen Patel; Jinglei Ren (OSDI, 2016)

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 T. V. Setty; Laure Thompson (USENIX Security Symposium, 2017)

IronFleet: proving safety and liveness of practical distributed systems. - Chris Hawblitzel; Jon Howell; Manos Kapritsos; Jacob R. Lorch; Bryan Parno; Michael Lowell Roberts; Srinath T. V. Setty; Brian Zill (Commun. ACM, 2017)

PIR with compressed queries and amortized query processing. - Sebastian Angel; Hao Chen 030; Kim Laine; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2017)

Proving the correct execution of concurrent services in zero-knowledge. - Srinath T. V. Setty; Sebastian Angel; Trinabh Gupta; Jonathan Lee 003 (IACR Cryptol. ePrint Arch., 2018)

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; et al. (CIDR, 2019)

Spartan: Efficient and general-purpose zkSNARKs without trusted setup. - Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2019)

Visor: Privacy-Preserving Video Analytics as a Cloud Service. - Rishabh Poddar; Ganesh Ananthanarayanan; Srinath T. V. Setty; Stavros Volos; Raluca Ada Popa (USENIX Security Symposium, 2020)

Replicated state machines without replicated execution. - Jonathan Lee 003; Kirill Nikitin 001; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2020)

Quarks: Quadruple-efficient transparent zkSNARKs. - Srinath T. V. Setty; Jonathan Lee 003 (IACR Cryptol. ePrint Arch., 2020)

Byzantine Ordered Consensus without Byzantine Oligarchy. - Yunhao Zhang; Srinath T. V. Setty; Qi Chen 009; Lidong Zhou; Lorenzo Alvisi (IACR Cryptol. ePrint Arch., 2020)

Verifiable state machines: Proofs that untrusted services operate correctly. - Srinath T. V. Setty; Sebastian Angel; Jonathan Lee 003 (ACM SIGOPS Oper. Syst. Rev., 2020)

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; et al. (SIGMOD Conference, 2021)

Brakedown: Linear-time and post-quantum SNARKs for R1CS. - Alexander Golovnev; Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2021)

Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. - Abhiram Kothapalli; Srinath T. V. Setty; Ioanna Tzialla (IACR Cryptol. ePrint Arch., 2021)

Linear-time zero-knowledge SNARKs for R1CS. - Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2021)

Transparency Dictionaries with Succinct Proofs of Correct Operation. - Ioanna Tzialla; Abhiram Kothapalli; Bryan Parno; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2021)

SuperNova: Proving universal machine executions without universal circuits. - Abhiram Kothapalli; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2022)

Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS. - Alexander Golovnev; Jonathan Lee 003; Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (CRYPTO (2), 2023)

Nimble: Rollback Protection for Confidential Cloud Services. - Sebastian Angel; Aditya Basu; Weidong Cui; Trent Jaeger; Stella Lau; Srinath T. V. Setty; Sudheesh Singanamalla (OSDI, 2023)

Nimble: Rollback Protection for Confidential Cloud Services (extended version). - Sebastian Angel; Aditya Basu; Weidong Cui; Trent Jaeger; Stella Lau; Srinath T. V. Setty; Sudheesh Singanamalla (IACR Cryptol. ePrint Arch., 2023)

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs. - Sebastian Angel; Eleftherios Ioannidis; Elizabeth Margolin; Srinath T. V. Setty; Jess Woods (IACR Cryptol. ePrint Arch., 2023)

Jolt: SNARKs for Virtual Machines via Lookups. - Arasu Arun; Srinath T. V. Setty; Justin Thaler (IACR Cryptol. ePrint Arch., 2023)

HyperNova: Recursive arguments for customizable constraint systems. - Abhiram Kothapalli; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2023)

CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves. - Abhiram Kothapalli; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2023)

Revisiting the Nova Proof System on a Cycle of Curves. - Wilson D. Nguyen; Dan Boneh; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2023)

BabySpartan: Lasso-based SNARK for non-uniform computation. - Srinath T. V. Setty; Justin Thaler (IACR Cryptol. ePrint Arch., 2023)

Customizable constraint systems for succinct arguments. - Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2023)

Unlocking the lookup singularity with Lasso. - Srinath T. V. Setty; Justin Thaler; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2023)

Nebula: Efficient read-write memory and switchboard circuits for folding schemes. - Arasu Arun; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2024)

NeutronNova: Folding everything that reduces to zero-check. - Abhiram Kothapalli; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2024)

MicroNova: Folding-based arguments with efficient (on-chain) verification. - Jiaxing Zhao; Srinath T. V. Setty; Weidong Cui (IACR Cryptol. ePrint Arch., 2024)

MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification. - Jiaxing Zhao; Srinath T. V. Setty; Weidong Cui; Greg Zaverucha (SP, 2025)

Neo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitments. - Wilson D. Nguyen; Srinath T. V. Setty (IACR Cryptol. ePrint Arch., 2025)

Twist and Shout: Faster memory checking arguments via one-hot addressing and increments. - Srinath T. V. Setty; Justin Thaler (IACR Cryptol. ePrint Arch., 2025)