Srinath T. V. Setty

69 papers A* 19A 3B 1Misc 2Journal 37Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Neo and SuperNeo: Post-quantum folding with pay-per-bit costs over small fields.
IACR Cryptol. ePrint Arch.
Wilson Nguyen, Srinath T. V. Setty
2025 J jnl
Enterprise AI Must Enforce Participant-Aware Access Control.
CoRR
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
2025 A* conf
MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification.
SP
Jiaxing Zhao, Srinath T. V. Setty, Weidong Cui, Greg Zaverucha
2025 J jnl
Neo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitments.
IACR Cryptol. ePrint Arch.
Wilson D. Nguyen, Srinath T. V. Setty
2025 J jnl
Twist and Shout: Faster memory checking arguments via one-hot addressing and increments.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler
2024 — conf
HyperNova: Recursive Arguments for Customizable Constraint Systems.
CRYPTO (10)
Abhiram Kothapalli, Srinath T. V. Setty
2024 — conf
Jolt: SNARKs for Virtual Machines via Lookups.
EUROCRYPT (6)
Arasu Arun, Srinath T. V. Setty, Justin Thaler
2024 J jnl
MicroNova: Folding-based arguments with efficient (on-chain) verification.
IACR Cryptol. ePrint Arch.
Jiaxing Zhao, Srinath T. V. Setty, Weidong Cui
2024 J jnl
Nebula: Efficient read-write memory and switchboard circuits for folding schemes.
IACR Cryptol. ePrint Arch.
Arasu Arun, Srinath T. V. Setty
2024 J jnl
NeutronNova: Folding everything that reduces to zero-check.
IACR Cryptol. ePrint Arch.
Abhiram Kothapalli, Srinath T. V. Setty
2024 A* conf
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.
USENIX Security Symposium
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
2024 — conf
Unlocking the Lookup Singularity with Lasso.
EUROCRYPT (6)
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023 J jnl
BabySpartan: Lasso-based SNARK for non-uniform computation.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler
2023 — conf
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.
CRYPTO (2)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023 J jnl
Customizable constraint systems for succinct arguments.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2023 J jnl
CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves.
IACR Cryptol. ePrint Arch.
Abhiram Kothapalli, Srinath T. V. Setty
2023 J jnl
HyperNova: Recursive arguments for customizable constraint systems.
IACR Cryptol. ePrint Arch.
Abhiram Kothapalli, Srinath T. V. Setty
2023 J jnl
Jolt: SNARKs for Virtual Machines via Lookups.
IACR Cryptol. ePrint Arch.
Arasu Arun, Srinath T. V. Setty, Justin Thaler
2023 J jnl
Nimble: Rollback Protection for Confidential Cloud Services (extended version).
IACR Cryptol. ePrint Arch.
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
2023 A* conf
Nimble: Rollback Protection for Confidential Cloud Services.
OSDI
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
2023 J jnl
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs.
IACR Cryptol. ePrint Arch.
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath T. V. Setty, Jess Woods
2023 B conf
Revisiting the Nova Proof System on a Cycle of Curves.
AFT
Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty
2023 J jnl
Revisiting the Nova Proof System on a Cycle of Curves.
IACR Cryptol. ePrint Arch.
Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty
2023 J jnl
Unlocking the lookup singularity with Lasso.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2022 — conf
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes.
CRYPTO (4)
Abhiram Kothapalli, Srinath T. V. Setty, Ioanna Tzialla
2022 J jnl
SuperNova: Proving universal machine executions without universal circuits.
IACR Cryptol. ePrint Arch.
Abhiram Kothapalli, Srinath T. V. Setty
2022 A* conf
Transparency Dictionaries with Succinct Proofs of Correct Operation.
NDSS
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty
2021 J jnl
Brakedown: Linear-time and post-quantum SNARKs for R1CS.
IACR Cryptol. ePrint Arch.
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2021 — conf
FastVer: Making Data Integrity a Commodity.
SIGMOD Conference
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
2021 J jnl
Linear-time zero-knowledge SNARKs for R1CS.
IACR Cryptol. ePrint Arch.
Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2021 J jnl
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes.
IACR Cryptol. ePrint Arch.
Abhiram Kothapalli, Srinath T. V. Setty, Ioanna Tzialla
2021 J jnl
Transparency Dictionaries with Succinct Proofs of Correct Operation.
IACR Cryptol. ePrint Arch.
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty
2020 A* conf
Byzantine Ordered Consensus without Byzantine Oligarchy.
OSDI
Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
2020 J jnl
Byzantine Ordered Consensus without Byzantine Oligarchy.
IACR Cryptol. ePrint Arch.
Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
2020 J jnl
Quarks: Quadruple-efficient transparent zkSNARKs.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Jonathan Lee
2020 A* conf
Replicated state machines without replicated execution.
SP
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
2020 J jnl
Replicated state machines without replicated execution.
IACR Cryptol. ePrint Arch.
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
2020 — conf
Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup.
CRYPTO (3)
Srinath T. V. Setty
2020 J jnl
Verifiable state machines: Proofs that untrusted services operate correctly.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
2020 J jnl
Verifiable state machines: Proofs that untrusted services operate correctly.
ACM SIGOPS Oper. Syst. Rev.
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
2020 A* conf
Visor: Privacy-Preserving Video Analytics as a Cloud Service.
USENIX Security Symposium
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath T. V. Setty, Stavros Volos, Raluca Ada Popa
2020 J jnl
Visor: Privacy-Preserving Video Analytics as a Cloud Service.
CoRR
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath T. V. Setty, Stavros Volos, Raluca Ada Popa
2019 J jnl
Spartan: Efficient and general-purpose zkSNARKs without trusted setup.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty
2019 A conf
Veritas: Shared Verifiable Databases and Tables in the Cloud.
CIDR
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 A* conf
PIR with Compressed Queries and Amortized Query Processing.
IEEE Symposium on Security and Privacy
Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty
2018 A* conf
Proving the correct execution of concurrent services in zero-knowledge.
OSDI
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
2018 J jnl
Proving the correct execution of concurrent services in zero-knowledge.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
2017 J jnl
IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2017 J jnl
PIR with compressed queries and amortized query processing.
IACR Cryptol. ePrint Arch.
Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty
2017 A* conf
Vale: Verifying High-Performance Cryptographic Assembly Code.
USENIX Security Symposium
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson
2016 A* conf
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent.
OSDI
Srinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
2016 Misc conf
Scalable and Private Media Consumption with Popcorn.
NSDI
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
2016 A* conf
Unobservable Communication over Fully Untrusted Infrastructure.
OSDI
Sebastian Angel, Srinath T. V. Setty
2015 A* conf
Efficient RAM and control flow in verifiable outsourced computation.
NDSS
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
2015 A* conf
IronFleet: proving practical distributed systems correct.
SOSP
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2015 J jnl
Scalable and private media consumption with Popcorn.
IACR Cryptol. ePrint Arch.
Trinabh Gupta, Natacha Crooks, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish
2014 J jnl
Efficient RAM and control flow in verifiable outsourced computation.
IACR Cryptol. ePrint Arch.
Riad S. Wahby, Srinath T. V. Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
2013 A* conf
A Hybrid Architecture for Interactive Verifiable Computation.
IEEE Symposium on Security and Privacy
Victor Vu, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2013 A conf
Resolving the conflict between generality and plausibility in verified computation.
EuroSys
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2013 A* conf
Verifying computations with state.
SOSP
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2013 J jnl
Verifying computations with state.
IACR Cryptol. ePrint Arch.
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish
2012 A* conf
Making argument systems for outsourced computation practical (sometimes).
NDSS
Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
2012 J jnl
Resolving the conflict between generality and plausibility in verified computation.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
2012 A* conf
Taking Proof-Based Verified Computation a Few Steps Closer to Practicality.
USENIX Security Symposium
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
2012 J jnl
Taking proof-based verified computation a few steps closer to practicality (extended version).
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
2011 J jnl
Depot: Cloud Storage with Minimal Trust.
ACM Trans. Comput. Syst.
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish
2011 A conf
Repair from a Chair: Computer Repair as an Untrusted Cloud Service.
HotOS
Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish
2010 Misc conf
Airavat: Security and Privacy for MapReduce.
NSDI
Indrajit Roy, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
2010 A* conf
Depot: Cloud Storage with Minimal Trust.
OSDI
Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish