Srinath T. V. Setty

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

Collaborative distances:

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

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

2023

Unlocking the lookup singularity with Lasso.

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

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

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

Srinath T. V. Setty, Justin Thaler

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

CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves.

Abhiram Kothapalli, Srinath T. V. Setty

IACR Cryptol. ePrint Arch., 2023

HyperNova: Recursive arguments for customizable constraint systems.

Abhiram Kothapalli, Srinath T. V. Setty

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

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

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

2022

SuperNova: Proving universal machine executions without universal circuits.

Abhiram Kothapalli, Srinath T. V. Setty

IACR Cryptol. ePrint Arch., 2022

2021

Transparency Dictionaries with Succinct Proofs of Correct Operation.

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

IACR Cryptol. ePrint Arch., 2021

Linear-time zero-knowledge SNARKs for R1CS.

Jonathan Lee, 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

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

Byzantine Ordered Consensus without Byzantine Oligarchy.

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

IACR Cryptol. ePrint Arch., 2020

Quarks: Quadruple-efficient transparent zkSNARKs.

Srinath T. V. Setty, Jonathan Lee

IACR Cryptol. ePrint Arch., 2020

Replicated state machines without replicated execution.

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

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

2019

Spartan: Efficient and general-purpose zkSNARKs without trusted setup.

Srinath T. V. Setty

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

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

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

IACR Cryptol. ePrint Arch., 2018

2017

PIR with compressed queries and amortized query processing.

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

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

2014

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

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

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

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

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.

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

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

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

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