default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSrinath T. V. Setty
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c31]Abhiram Kothapalli, Srinath T. V. Setty:
HyperNova: Recursive Arguments for Customizable Constraint Systems. CRYPTO (10) 2024: 345-379- [c30]Arasu Arun, Srinath T. V. Setty, Justin Thaler:
Jolt: SNARKs for Virtual Machines via Lookups. EUROCRYPT (6) 2024: 3-33 - [c29]Srinath T. V. Setty, Justin Thaler, Riad S. Wahby:
Unlocking the Lookup Singularity with Lasso. EUROCRYPT (6) 2024: 180-209 - [c28]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 - [i29]Arasu Arun, Srinath T. V. Setty:
Nebula: Efficient read-write memory and switchboard circuits for folding schemes. IACR Cryptol. ePrint Arch. 2024: 1605 (2024) - [i28]Abhiram Kothapalli, Srinath T. V. Setty:
NeutronNova: Folding everything that reduces to zero-check. IACR Cryptol. ePrint Arch. 2024: 1606 (2024) - 2023
- [c27]Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty:
Revisiting the Nova Proof System on a Cycle of Curves. AFT 2023: 18:1-18:22 - [c26]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: 193-226 - [c25]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: 193-208 - [i27]Srinath T. V. Setty, Justin Thaler, Riad S. Wahby:
Customizable constraint systems for succinct arguments. IACR Cryptol. ePrint Arch. 2023: 552 (2023) - [i26]Abhiram Kothapalli, Srinath T. V. Setty:
HyperNova: Recursive arguments for customizable constraint systems. IACR Cryptol. ePrint Arch. 2023: 573 (2023) - [i25]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: 761 (2023) - [i24]Wilson D. Nguyen, Dan Boneh, Srinath T. V. Setty:
Revisiting the Nova Proof System on a Cycle of Curves. IACR Cryptol. ePrint Arch. 2023: 969 (2023) - [i23]Abhiram Kothapalli, Srinath T. V. Setty:
CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves. IACR Cryptol. ePrint Arch. 2023: 1192 (2023) - [i22]Srinath T. V. Setty, Justin Thaler, Riad S. Wahby:
Unlocking the lookup singularity with Lasso. IACR Cryptol. ePrint Arch. 2023: 1216 (2023) - [i21]Arasu Arun, Srinath T. V. Setty, Justin Thaler:
Jolt: SNARKs for Virtual Machines via Lookups. IACR Cryptol. ePrint Arch. 2023: 1217 (2023) - [i20]Srinath T. V. Setty, Justin Thaler:
BabySpartan: Lasso-based SNARK for non-uniform computation. IACR Cryptol. ePrint Arch. 2023: 1799 (2023) - [i19]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: 1886 (2023) - 2022
- [c24]Abhiram Kothapalli, Srinath T. V. Setty, Ioanna Tzialla:
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. CRYPTO (4) 2022: 359-388 - [c23]Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty:
Transparency Dictionaries with Succinct Proofs of Correct Operation. NDSS 2022 - [i18]Abhiram Kothapalli, Srinath T. V. Setty:
SuperNova: Proving universal machine executions without universal circuits. IACR Cryptol. ePrint Arch. 2022: 1758 (2022) - 2021
- [c22]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: 89-101 - [i17]Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby:
Linear-time zero-knowledge SNARKs for R1CS. IACR Cryptol. ePrint Arch. 2021: 30 (2021) - [i16]Abhiram Kothapalli, Srinath T. V. Setty, Ioanna Tzialla:
Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. IACR Cryptol. ePrint Arch. 2021: 370 (2021) - [i15]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: 1043 (2021) - [i14]Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath T. V. Setty:
Transparency Dictionaries with Succinct Proofs of Correct Operation. IACR Cryptol. ePrint Arch. 2021: 1263 (2021) - 2020
- [j3]Srinath T. V. Setty, Sebastian Angel, Jonathan Lee:
Verifiable state machines: Proofs that untrusted services operate correctly. ACM SIGOPS Oper. Syst. Rev. 54(1): 40-46 (2020) - [c21]Srinath T. V. Setty:
Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup. CRYPTO (3) 2020: 704-737 - [c20]Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi:
Byzantine Ordered Consensus without Byzantine Oligarchy. OSDI 2020: 633-649 - [c19]Jonathan Lee, Kirill Nikitin
, Srinath T. V. Setty:
Replicated state machines without replicated execution. SP 2020: 119-134 - [c18]Rishabh Poddar, Ganesh Ananthanarayanan, Srinath T. V. Setty, Stavros Volos, Raluca Ada Popa:
Visor: Privacy-Preserving Video Analytics as a Cloud Service. USENIX Security Symposium 2020: 1039-1056 - [i13]Rishabh Poddar, Ganesh Ananthanarayanan, Srinath T. V. Setty, Stavros Volos, Raluca Ada Popa:
Visor: Privacy-Preserving Video Analytics as a Cloud Service. CoRR abs/2006.09628 (2020) - [i12]Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty:
Replicated state machines without replicated execution. IACR Cryptol. ePrint Arch. 2020: 195 (2020) - [i11]Srinath T. V. Setty, Sebastian Angel, Jonathan Lee:
Verifiable state machines: Proofs that untrusted services operate correctly. IACR Cryptol. ePrint Arch. 2020: 758 (2020) - [i10]Srinath T. V. Setty, Jonathan Lee:
Quarks: Quadruple-efficient transparent zkSNARKs. IACR Cryptol. ePrint Arch. 2020: 1275 (2020) - [i9]Yunhao Zhang, Srinath T. V. Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi:
Byzantine Ordered Consensus without Byzantine Oligarchy. IACR Cryptol. ePrint Arch. 2020: 1300 (2020)
2010 – 2019
- 2019
- [c17]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 - [i8]Srinath T. V. Setty:
Spartan: Efficient and general-purpose zkSNARKs without trusted setup. IACR Cryptol. ePrint Arch. 2019: 550 (2019) - 2018
- [c16]Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee:
Proving the correct execution of concurrent services in zero-knowledge. OSDI 2018: 339-356 - [c15]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: 962-979 - [i7]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: 907 (2018) - 2017
- [j2]Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill:
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60(7): 83-92 (2017) - [c14]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: 917-934 - [i6]Sebastian Angel, Hao Chen, Kim Laine, Srinath T. V. Setty:
PIR with compressed queries and amortized query processing. IACR Cryptol. ePrint Arch. 2017: 1142 (2017) - 2016
- [c13]Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish:
Scalable and Private Media Consumption with Popcorn. NSDI 2016: 91-107 - [c12]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: 501-516 - [c11]Sebastian Angel, Srinath T. V. Setty:
Unobservable Communication over Fully Untrusted Infrastructure. OSDI 2016: 551-569 - 2015
- [c10]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 - [c9]Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill:
IronFleet: proving practical distributed systems correct. SOSP 2015: 1-17 - [i5]Trinabh Gupta, Natacha Crooks, Srinath T. V. Setty, Lorenzo Alvisi, Michael Walfish:
Scalable and private media consumption with Popcorn. IACR Cryptol. ePrint Arch. 2015: 489 (2015) - 2014
- [i4]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: 674 (2014) - 2013
- [c8]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: 71-84 - [c7]Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath T. V. Setty, Andrew J. Blumberg, Michael Walfish:
Verifying computations with state. SOSP 2013: 341-357 - [c6]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: 223-237 - [i3]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: 356 (2013) - 2012
- [c5]Srinath T. V. Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish:
Making argument systems for outsourced computation practical (sometimes). NDSS 2012 - [c4]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: 253-268 - [i2]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: 598 (2012) - [i1]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: 622 (2012) - 2011
- [j1]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): 12:1-12:38 (2011) - [c3]Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish:
Repair from a Chair: Computer Repair as an Untrusted Cloud Service. HotOS 2011 - 2010
- [c2]Indrajit Roy, Srinath T. V. Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel:
Airavat: Security and Privacy for MapReduce. NSDI 2010: 297-312 - [c1]Prince Mahajan, Srinath T. V. Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Michael Dahlin, Michael Walfish:
Depot: Cloud Storage with Minimal Trust. OSDI 2010: 307-322
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
