Srinath T. V. Setty

According to our database, Srinath T. V. Setty authored at least 50 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Enterprise AI Must Enforce Participant-Aware Access Control.

Shashank Shreedhar Bhatt, Tanmay Rajore, Khushboo Aggarwal, Ganesh Ananthanarayanan, Ranveer Chandra, Nishanth Chandran, Suyash Choudhury, Divya Gupta, Emre Kiciman, Sumit Kumar Pandey, Srinath T. V. Setty, Rahul Sharma, Teijia Zhao

CoRR, September, 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

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

MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification.

Jiaxing Zhao, Srinath T. V. Setty, Weidong Cui, Greg Zaverucha

Proceedings of the IEEE Symposium on Security and Privacy, 2025

2024

MicroNova: Folding-based arguments with efficient (on-chain) verification.

Jiaxing Zhao, Srinath T. V. Setty, Weidong Cui

IACR Cryptol. ePrint Arch., 2024

NeutronNova: Folding everything that reduces to zero-check.

Abhiram Kothapalli, Srinath T. V. Setty

IACR Cryptol. ePrint Arch., 2024

Nebula: Efficient read-write memory and switchboard circuits for folding schemes.

Arasu Arun, Srinath T. V. Setty

IACR Cryptol. ePrint Arch., 2024

Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.

Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods

Proceedings of the 33rd USENIX Security Symposium, 2024

Unlocking the Lookup Singularity with Lasso.

Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

Jolt: SNARKs for Virtual Machines via Lookups.

Arasu Arun, Srinath T. V. Setty, Justin Thaler

Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

HyperNova: Recursive Arguments for Customizable Constraint Systems.

Abhiram Kothapalli, Srinath T. V. Setty

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

2023

Customizable constraint systems for succinct arguments.

Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2023

BabySpartan: Lasso-based SNARK for non-uniform computation.

Srinath T. V. Setty, Justin Thaler

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

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

Nimble: Rollback Protection for Confidential Cloud Services.

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.

Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

Revisiting the Nova Proof System on a Cycle of Curves.

Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty

Proceedings of the 5th Conference on Advances in Financial Technologies, 2023

2022

SuperNova: Proving universal machine executions without universal circuits.

Abhiram Kothapalli, Srinath T. V. Setty

IACR Cryptol. ePrint Arch., 2022

Transparency Dictionaries with Succinct Proofs of Correct Operation.

Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

Nova: Recursive Zero-Knowledge Arguments from Folding Schemes.

Abhiram Kothapalli, Srinath T. V. Setty, Ioanna Tzialla

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

2021

Linear-time zero-knowledge SNARKs for R1CS.

Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2021

Brakedown: Linear-time and post-quantum SNARKs for R1CS.

Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2021

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

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

2020

Verifiable state machines: Proofs that untrusted services operate correctly.

Srinath T. V. Setty, Sebastian Angel, Jonathan Lee

ACM SIGOPS Oper. Syst. Rev., 2020

Quarks: Quadruple-efficient transparent zkSNARKs.

Srinath T. V. Setty, Jonathan Lee

IACR Cryptol. ePrint Arch., 2020

Visor: Privacy-Preserving Video Analytics as a Cloud Service.

Rishabh Poddar, Ganesh Ananthanarayanan, Srinath T. V. Setty, Stavros Volos, Raluca Ada Popa

Proceedings of the 29th USENIX Security Symposium, 2020

Replicated state machines without replicated execution.

Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Byzantine Ordered Consensus without Byzantine Oligarchy.

Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup.

Srinath T. V. Setty

Proceedings of the Advances in Cryptology - CRYPTO 2020, 2020

2019

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

Proceedings of the 9th Biennial Conference on Innovative Data Systems Research, 2019

2018

PIR with Compressed Queries and Amortized Query Processing.

Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Proving the correct execution of concurrent services in zero-knowledge.

Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

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

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

Proceedings of the 26th USENIX Security Symposium, 2017

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, Parveen Patel, Jinglei Ren

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Unobservable Communication over Fully Untrusted Infrastructure.

Sebastian Angel, Srinath T. V. Setty

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Scalable and Private Media Consumption with Popcorn.

Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

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

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

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Efficient RAM and control flow in verifiable outsourced computation.

Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

2013

A Hybrid Architecture for Interactive Verifiable Computation.

Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish

Proceedings of the 2013 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

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

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

Proceedings of the Eighth Eurosys Conference 2013, 2013

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

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

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

Making argument systems for outsourced computation practical (sometimes).

Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

2011

Repair from a Chair: Computer Repair as an Untrusted Cloud Service.

Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

Depot: Cloud Storage with Minimal Trust.

Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Airavat: Security and Privacy for MapReduce.

Indrajit Roy, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010