BibTeX records: Srinath T. V. Setty

download as .bib file

@inproceedings{DBLP:conf/aft/NguyenBS23,
  author       = {Wilson D. Nguyen and
                  Dan Boneh and
                  Srinath T. V. Setty},
  editor       = {Joseph Bonneau and
                  S. Matthew Weinberg},
  title        = {Revisiting the Nova Proof System on a Cycle of Curves},
  booktitle    = {5th Conference on Advances in Financial Technologies, {AFT} 2023,
                  October 23-25, 2023, Princeton, NJ, {USA}},
  series       = {LIPIcs},
  volume       = {282},
  pages        = {18:1--18:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.AFT.2023.18},
  doi          = {10.4230/LIPICS.AFT.2023.18},
  timestamp    = {Wed, 18 Oct 2023 16:53:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aft/NguyenBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/crypto/GolovnevLSTW23,
  author       = {Alexander Golovnev and
                  Jonathan Lee and
                  Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  editor       = {Helena Handschuh and
                  Anna Lysyanskaya},
  title        = {Brakedown: Linear-Time and Field-Agnostic SNARKs for {R1CS}},
  booktitle    = {Advances in Cryptology - {CRYPTO} 2023 - 43rd Annual International
                  Cryptology Conference, {CRYPTO} 2023, Santa Barbara, CA, USA, August
                  20-24, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14082},
  pages        = {193--226},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38545-2\_7},
  doi          = {10.1007/978-3-031-38545-2\_7},
  timestamp    = {Mon, 14 Aug 2023 16:16:25 +0200},
  biburl       = {https://dblp.org/rec/conf/crypto/GolovnevLSTW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/AngelBCJLSS23,
  author       = {Sebastian Angel and
                  Aditya Basu and
                  Weidong Cui and
                  Trent Jaeger and
                  Stella Lau and
                  Srinath T. V. Setty and
                  Sudheesh Singanamalla},
  editor       = {Roxana Geambasu and
                  Ed Nightingale},
  title        = {Nimble: Rollback Protection for Confidential Cloud Services},
  booktitle    = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
  pages        = {193--208},
  publisher    = {{USENIX} Association},
  year         = {2023},
  url          = {https://www.usenix.org/conference/osdi23/presentation/angel},
  timestamp    = {Sat, 15 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/osdi/AngelBCJLSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyTW23,
  author       = {Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Customizable constraint systems for succinct arguments},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {552},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/552},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyTW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/KothapalliS23,
  author       = {Abhiram Kothapalli and
                  Srinath T. V. Setty},
  title        = {HyperNova: Recursive arguments for customizable constraint systems},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {573},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/573},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/KothapalliS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/AngelBCJLSS23,
  author       = {Sebastian Angel and
                  Aditya Basu and
                  Weidong Cui and
                  Trent Jaeger and
                  Stella Lau and
                  Srinath T. V. Setty and
                  Sudheesh Singanamalla},
  title        = {Nimble: Rollback Protection for Confidential Cloud Services (extended
                  version)},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {761},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/761},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/AngelBCJLSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/NguyenBS23,
  author       = {Wilson D. Nguyen and
                  Dan Boneh and
                  Srinath T. V. Setty},
  title        = {Revisiting the Nova Proof System on a Cycle of Curves},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {969},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/969},
  timestamp    = {Wed, 18 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/NguyenBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/KothapalliS23a,
  author       = {Abhiram Kothapalli and
                  Srinath T. V. Setty},
  title        = {CycleFold: Folding-scheme-based recursive arguments over a cycle of
                  elliptic curves},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1192},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1192},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/KothapalliS23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyTW23a,
  author       = {Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Unlocking the lookup singularity with Lasso},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1216},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1216},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyTW23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/ArunST23,
  author       = {Arasu Arun and
                  Srinath T. V. Setty and
                  Justin Thaler},
  title        = {Jolt: SNARKs for Virtual Machines via Lookups},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1217},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1217},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/ArunST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyT23,
  author       = {Srinath T. V. Setty and
                  Justin Thaler},
  title        = {BabySpartan: Lasso-based {SNARK} for non-uniform computation},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1799},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1799},
  timestamp    = {Fri, 08 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/AngelIMSW23,
  author       = {Sebastian Angel and
                  Eleftherios Ioannidis and
                  Elizabeth Margolin and
                  Srinath T. V. Setty and
                  Jess Woods},
  title        = {Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1886},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1886},
  timestamp    = {Fri, 12 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/AngelIMSW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/crypto/KothapalliST22,
  author       = {Abhiram Kothapalli and
                  Srinath T. V. Setty and
                  Ioanna Tzialla},
  editor       = {Yevgeniy Dodis and
                  Thomas Shrimpton},
  title        = {Nova: Recursive Zero-Knowledge Arguments from Folding Schemes},
  booktitle    = {Advances in Cryptology - {CRYPTO} 2022 - 42nd Annual International
                  Cryptology Conference, {CRYPTO} 2022, Santa Barbara, CA, USA, August
                  15-18, 2022, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13510},
  pages        = {359--388},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15985-5\_13},
  doi          = {10.1007/978-3-031-15985-5\_13},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/crypto/KothapalliST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ndss/TziallaKPS22,
  author       = {Ioanna Tzialla and
                  Abhiram Kothapalli and
                  Bryan Parno and
                  Srinath T. V. Setty},
  title        = {Transparency Dictionaries with Succinct Proofs of Correct Operation},
  booktitle    = {29th Annual Network and Distributed System Security Symposium, {NDSS}
                  2022, San Diego, California, USA, April 24-28, 2022},
  publisher    = {The Internet Society},
  year         = {2022},
  url          = {https://www.ndss-symposium.org/ndss-paper/auto-draft-252/},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ndss/TziallaKPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/KothapalliS22,
  author       = {Abhiram Kothapalli and
                  Srinath T. V. Setty},
  title        = {SuperNova: Proving universal machine executions without universal
                  circuits},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1758},
  year         = {2022},
  url          = {https://eprint.iacr.org/2022/1758},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/KothapalliS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigmod/ArasuCGGKPRRRSS21,
  author       = {Arvind Arasu and
                  Badrish Chandramouli and
                  Johannes Gehrke and
                  Esha Ghosh and
                  Donald Kossmann and
                  Jonathan Protzenko and
                  Ravi Ramamurthy and
                  Tahina Ramananandro and
                  Aseem Rastogi and
                  Srinath T. V. Setty and
                  Nikhil Swamy and
                  Alexander van Renen and
                  Min Xu},
  editor       = {Guoliang Li and
                  Zhanhuai Li and
                  Stratos Idreos and
                  Divesh Srivastava},
  title        = {FastVer: Making Data Integrity a Commodity},
  booktitle    = {{SIGMOD} '21: International Conference on Management of Data, Virtual
                  Event, China, June 20-25, 2021},
  pages        = {89--101},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3448016.3457312},
  doi          = {10.1145/3448016.3457312},
  timestamp    = {Mon, 21 Jun 2021 11:48:16 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/ArasuCGGKPRRRSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/LeeSTW21,
  author       = {Jonathan Lee and
                  Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Linear-time zero-knowledge SNARKs for {R1CS}},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {30},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/030},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/LeeSTW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/KothapalliST21,
  author       = {Abhiram Kothapalli and
                  Srinath T. V. Setty and
                  Ioanna Tzialla},
  title        = {Nova: Recursive Zero-Knowledge Arguments from Folding Schemes},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {370},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/370},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/KothapalliST21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/Golovnev0STW21,
  author       = {Alexander Golovnev and
                  Jonathan Lee and
                  Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Brakedown: Linear-time and post-quantum SNARKs for {R1CS}},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1043},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/1043},
  timestamp    = {Mon, 06 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/Golovnev0STW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/TziallaKPS21,
  author       = {Ioanna Tzialla and
                  Abhiram Kothapalli and
                  Bryan Parno and
                  Srinath T. V. Setty},
  title        = {Transparency Dictionaries with Succinct Proofs of Correct Operation},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1263},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/1263},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/TziallaKPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigops/SettyAL20,
  author       = {Srinath T. V. Setty and
                  Sebastian Angel and
                  Jonathan Lee},
  title        = {Verifiable state machines: Proofs that untrusted services operate
                  correctly},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {54},
  number       = {1},
  pages        = {40--46},
  year         = {2020},
  url          = {https://doi.org/10.1145/3421473.3421479},
  doi          = {10.1145/3421473.3421479},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/SettyAL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/crypto/Setty20,
  author       = {Srinath T. V. Setty},
  editor       = {Daniele Micciancio and
                  Thomas Ristenpart},
  title        = {Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup},
  booktitle    = {Advances in Cryptology - {CRYPTO} 2020 - 40th Annual International
                  Cryptology Conference, {CRYPTO} 2020, Santa Barbara, CA, USA, August
                  17-21, 2020, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12172},
  pages        = {704--737},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-56877-1\_25},
  doi          = {10.1007/978-3-030-56877-1\_25},
  timestamp    = {Mon, 28 Aug 2023 21:17:50 +0200},
  biburl       = {https://dblp.org/rec/conf/crypto/Setty20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/ZhangSCZA20,
  author       = {Yunhao Zhang and
                  Srinath T. V. Setty and
                  Qi Chen and
                  Lidong Zhou and
                  Lorenzo Alvisi},
  title        = {Byzantine Ordered Consensus without Byzantine Oligarchy},
  booktitle    = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2020, Virtual Event, November 4-6, 2020},
  pages        = {633--649},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/osdi20/presentation/zhang-yunhao},
  timestamp    = {Tue, 02 Feb 2021 08:05:52 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/ZhangSCZA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sp/Lee0S20,
  author       = {Jonathan Lee and
                  Kirill Nikitin and
                  Srinath T. V. Setty},
  title        = {Replicated state machines without replicated execution},
  booktitle    = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
                  CA, USA, May 18-21, 2020},
  pages        = {119--134},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SP40000.2020.00068},
  doi          = {10.1109/SP40000.2020.00068},
  timestamp    = {Thu, 21 Sep 2023 15:57:24 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/Lee0S20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uss/PoddarASVP20,
  author       = {Rishabh Poddar and
                  Ganesh Ananthanarayanan and
                  Srinath T. V. Setty and
                  Stavros Volos and
                  Raluca Ada Popa},
  editor       = {Srdjan Capkun and
                  Franziska Roesner},
  title        = {Visor: Privacy-Preserving Video Analytics as a Cloud Service},
  booktitle    = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
                  2020},
  pages        = {1039--1056},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/usenixsecurity20/presentation/poddar},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/PoddarASVP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2006-09628,
  author       = {Rishabh Poddar and
                  Ganesh Ananthanarayanan and
                  Srinath T. V. Setty and
                  Stavros Volos and
                  Raluca Ada Popa},
  title        = {Visor: Privacy-Preserving Video Analytics as a Cloud Service},
  journal      = {CoRR},
  volume       = {abs/2006.09628},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.09628},
  eprinttype    = {arXiv},
  eprint       = {2006.09628},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-09628.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/LeeNS20,
  author       = {Jonathan Lee and
                  Kirill Nikitin and
                  Srinath T. V. Setty},
  title        = {Replicated state machines without replicated execution},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {195},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/195},
  timestamp    = {Tue, 24 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/LeeNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyAL20,
  author       = {Srinath T. V. Setty and
                  Sebastian Angel and
                  Jonathan Lee},
  title        = {Verifiable state machines: Proofs that untrusted services operate
                  correctly},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {758},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/758},
  timestamp    = {Tue, 24 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyAL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyL20,
  author       = {Srinath T. V. Setty and
                  Jonathan Lee},
  title        = {Quarks: Quadruple-efficient transparent zkSNARKs},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1275},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/1275},
  timestamp    = {Tue, 24 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/ZhangSCZA20,
  author       = {Yunhao Zhang and
                  Srinath T. V. Setty and
                  Qi Chen and
                  Lidong Zhou and
                  Lorenzo Alvisi},
  title        = {Byzantine Ordered Consensus without Byzantine Oligarchy},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1300},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/1300},
  timestamp    = {Fri, 30 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/ZhangSCZA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cidr/GehrkeAAAHHKKRS19,
  author       = {Johannes Gehrke and
                  Lindsay Allen and
                  Panagiotis Antonopoulos and
                  Arvind Arasu and
                  Joachim Hammer and
                  James Hunter and
                  Raghav Kaushik and
                  Donald Kossmann and
                  Ravi Ramamurthy and
                  Srinath T. V. Setty and
                  Jakub Szymaszek and
                  Alexander van Renen and
                  Jonathan Lee and
                  Ramarathnam Venkatesan},
  title        = {Veritas: Shared Verifiable Databases and Tables in the Cloud},
  booktitle    = {9th Biennial Conference on Innovative Data Systems Research, {CIDR}
                  2019, Asilomar, CA, USA, January 13-16, 2019, Online Proceedings},
  publisher    = {www.cidrdb.org},
  year         = {2019},
  url          = {http://cidrdb.org/cidr2019/papers/p111-gehrke-cidr19.pdf},
  timestamp    = {Mon, 18 Jul 2022 17:13:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cidr/GehrkeAAAHHKKRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/Setty19,
  author       = {Srinath T. V. Setty},
  title        = {Spartan: Efficient and general-purpose zkSNARKs without trusted setup},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {550},
  year         = {2019},
  url          = {https://eprint.iacr.org/2019/550},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/Setty19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/SettyAGL18,
  author       = {Srinath T. V. Setty and
                  Sebastian Angel and
                  Trinabh Gupta and
                  Jonathan Lee},
  editor       = {Andrea C. Arpaci{-}Dusseau and
                  Geoff Voelker},
  title        = {Proving the correct execution of concurrent services in zero-knowledge},
  booktitle    = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018},
  pages        = {339--356},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/osdi18/presentation/setty},
  timestamp    = {Tue, 02 Feb 2021 08:06:02 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/SettyAGL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sp/AngelCLS18,
  author       = {Sebastian Angel and
                  Hao Chen and
                  Kim Laine and
                  Srinath T. V. Setty},
  title        = {{PIR} with Compressed Queries and Amortized Query Processing},
  booktitle    = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
                  21-23 May 2018, San Francisco, California, {USA}},
  pages        = {962--979},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SP.2018.00062},
  doi          = {10.1109/SP.2018.00062},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/AngelCLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyAGL18,
  author       = {Srinath T. V. Setty and
                  Sebastian Angel and
                  Trinabh Gupta and
                  Jonathan Lee},
  title        = {Proving the correct execution of concurrent services in zero-knowledge},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {907},
  year         = {2018},
  url          = {https://eprint.iacr.org/2018/907},
  timestamp    = {Tue, 24 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyAGL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cacm/HawblitzelHKLPR17,
  author       = {Chris Hawblitzel and
                  Jon Howell and
                  Manos Kapritsos and
                  Jacob R. Lorch and
                  Bryan Parno and
                  Michael Lowell Roberts and
                  Srinath T. V. Setty and
                  Brian Zill},
  title        = {IronFleet: proving safety and liveness of practical distributed systems},
  journal      = {Commun. {ACM}},
  volume       = {60},
  number       = {7},
  pages        = {83--92},
  year         = {2017},
  url          = {https://doi.org/10.1145/3068608},
  doi          = {10.1145/3068608},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/HawblitzelHKLPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uss/BondHKLLPRST17,
  author       = {Barry Bond and
                  Chris Hawblitzel and
                  Manos Kapritsos and
                  K. Rustan M. Leino and
                  Jacob R. Lorch and
                  Bryan Parno and
                  Ashay Rane and
                  Srinath T. V. Setty and
                  Laure Thompson},
  editor       = {Engin Kirda and
                  Thomas Ristenpart},
  title        = {Vale: Verifying High-Performance Cryptographic Assembly Code},
  booktitle    = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
                  BC, Canada, August 16-18, 2017},
  pages        = {917--934},
  publisher    = {{USENIX} Association},
  year         = {2017},
  url          = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
  timestamp    = {Mon, 01 Feb 2021 08:42:59 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/BondHKLLPRST17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/AngelCLS17,
  author       = {Sebastian Angel and
                  Hao Chen and
                  Kim Laine and
                  Srinath T. V. Setty},
  title        = {{PIR} with compressed queries and amortized query processing},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1142},
  year         = {2017},
  url          = {http://eprint.iacr.org/2017/1142},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/AngelCLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nsdi/GuptaCMSAW16,
  author       = {Trinabh Gupta and
                  Natacha Crooks and
                  Whitney Mulhern and
                  Srinath T. V. Setty and
                  Lorenzo Alvisi and
                  Michael Walfish},
  editor       = {Katerina J. Argyraki and
                  Rebecca Isaacs},
  title        = {Scalable and Private Media Consumption with Popcorn},
  booktitle    = {13th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2016, Santa Clara, CA, USA, March 16-18, 2016},
  pages        = {91--107},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/nsdi16/technical-sessions/presentation/gupta-trinabh},
  timestamp    = {Tue, 02 Feb 2021 08:05:49 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/GuptaCMSAW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/SettySLZCPR16,
  author       = {Srinath T. V. Setty and
                  Chunzhi Su and
                  Jacob R. Lorch and
                  Lidong Zhou and
                  Hao Chen and
                  Parveen Patel and
                  Jinglei Ren},
  editor       = {Kimberly Keeton and
                  Timothy Roscoe},
  title        = {Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks
                  with Intent},
  booktitle    = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  pages        = {501--516},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/setty},
  timestamp    = {Tue, 02 Feb 2021 08:06:02 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/SettySLZCPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/AngelS16,
  author       = {Sebastian Angel and
                  Srinath T. V. Setty},
  editor       = {Kimberly Keeton and
                  Timothy Roscoe},
  title        = {Unobservable Communication over Fully Untrusted Infrastructure},
  booktitle    = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  pages        = {551--569},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/angel},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/AngelS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ndss/WahbySRBW15,
  author       = {Riad S. Wahby and
                  Srinath T. V. Setty and
                  Zuocheng Ren and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Efficient {RAM} and control flow in verifiable outsourced computation},
  booktitle    = {22nd Annual Network and Distributed System Security Symposium, {NDSS}
                  2015, San Diego, California, USA, February 8-11, 2015},
  publisher    = {The Internet Society},
  year         = {2015},
  url          = {https://www.ndss-symposium.org/ndss2015/efficient-ram-and-control-flow-verifiable-outsourced-computation},
  timestamp    = {Mon, 01 Feb 2021 08:42:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ndss/WahbySRBW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/HawblitzelHKLPR15,
  author       = {Chris Hawblitzel and
                  Jon Howell and
                  Manos Kapritsos and
                  Jacob R. Lorch and
                  Bryan Parno and
                  Michael Lowell Roberts and
                  Srinath T. V. Setty and
                  Brian Zill},
  editor       = {Ethan L. Miller and
                  Steven Hand},
  title        = {IronFleet: proving practical distributed systems correct},
  booktitle    = {Proceedings of the 25th Symposium on Operating Systems Principles,
                  {SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
  pages        = {1--17},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2815400.2815428},
  doi          = {10.1145/2815400.2815428},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/HawblitzelHKLPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/GuptaCSAW15,
  author       = {Trinabh Gupta and
                  Natacha Crooks and
                  Srinath T. V. Setty and
                  Lorenzo Alvisi and
                  Michael Walfish},
  title        = {Scalable and private media consumption with Popcorn},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {489},
  year         = {2015},
  url          = {http://eprint.iacr.org/2015/489},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/GuptaCSAW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/WahbySRBW14a,
  author       = {Riad S. Wahby and
                  Srinath T. V. Setty and
                  Zuocheng Ren and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Efficient {RAM} and control flow in verifiable outsourced computation},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {674},
  year         = {2014},
  url          = {http://eprint.iacr.org/2014/674},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WahbySRBW14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurosys/SettyBVBPW13,
  author       = {Srinath T. V. Setty and
                  Benjamin Braun and
                  Victor Vu and
                  Andrew J. Blumberg and
                  Bryan Parno and
                  Michael Walfish},
  editor       = {Zdenek Hanz{\'{a}}lek and
                  Hermann H{\"{a}}rtig and
                  Miguel Castro and
                  M. Frans Kaashoek},
  title        = {Resolving the conflict between generality and plausibility in verified
                  computation},
  booktitle    = {Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic,
                  April 14-17, 2013},
  pages        = {71--84},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2465351.2465359},
  doi          = {10.1145/2465351.2465359},
  timestamp    = {Wed, 06 Jul 2022 14:43:33 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/SettyBVBPW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/BraunFRSBW13,
  author       = {Benjamin Braun and
                  Ariel J. Feldman and
                  Zuocheng Ren and
                  Srinath T. V. Setty and
                  Andrew J. Blumberg and
                  Michael Walfish},
  editor       = {Michael Kaminsky and
                  Mike Dahlin},
  title        = {Verifying computations with state},
  booktitle    = {{ACM} {SIGOPS} 24th Symposium on Operating Systems Principles, {SOSP}
                  '13, Farmington, PA, USA, November 3-6, 2013},
  pages        = {341--357},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2517349.2522733},
  doi          = {10.1145/2517349.2522733},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/BraunFRSBW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sp/VuSBW13,
  author       = {Victor Vu and
                  Srinath T. V. Setty and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {A Hybrid Architecture for Interactive Verifiable Computation},
  booktitle    = {2013 {IEEE} Symposium on Security and Privacy, {SP} 2013, Berkeley,
                  CA, USA, May 19-22, 2013},
  pages        = {223--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SP.2013.48},
  doi          = {10.1109/SP.2013.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/VuSBW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/BraunFRSBW13,
  author       = {Benjamin Braun and
                  Ariel J. Feldman and
                  Zuocheng Ren and
                  Srinath T. V. Setty and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Verifying computations with state},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {356},
  year         = {2013},
  url          = {http://eprint.iacr.org/2013/356},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/BraunFRSBW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ndss/SettyMBW12,
  author       = {Srinath T. V. Setty and
                  Richard McPherson and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Making argument systems for outsourced computation practical (sometimes)},
  booktitle    = {19th Annual Network and Distributed System Security Symposium, {NDSS}
                  2012, San Diego, California, USA, February 5-8, 2012},
  publisher    = {The Internet Society},
  year         = {2012},
  url          = {https://www.ndss-symposium.org/ndss2012/making-argument-systems-outsourced-computation-practical-sometimes},
  timestamp    = {Mon, 01 Feb 2021 08:42:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ndss/SettyMBW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/uss/SettyVPBBW12,
  author       = {Srinath T. V. Setty and
                  Victor Vu and
                  Nikhil Panpalia and
                  Benjamin Braun and
                  Andrew J. Blumberg and
                  Michael Walfish},
  editor       = {Tadayoshi Kohno},
  title        = {Taking Proof-Based Verified Computation a Few Steps Closer to Practicality},
  booktitle    = {Proceedings of the 21th {USENIX} Security Symposium, Bellevue, WA,
                  USA, August 8-10, 2012},
  pages        = {253--268},
  publisher    = {{USENIX} Association},
  year         = {2012},
  url          = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/setty},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/SettyVPBBW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyVPBBW12,
  author       = {Srinath T. V. Setty and
                  Victor Vu and
                  Nikhil Panpalia and
                  Benjamin Braun and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Taking proof-based verified computation a few steps closer to practicality
                  (extended version)},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {598},
  year         = {2012},
  url          = {http://eprint.iacr.org/2012/598},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyVPBBW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iacr/SettyBVBPW12,
  author       = {Srinath T. V. Setty and
                  Benjamin Braun and
                  Victor Vu and
                  Andrew J. Blumberg and
                  Bryan Parno and
                  Michael Walfish},
  title        = {Resolving the conflict between generality and plausibility in verified
                  computation},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {622},
  year         = {2012},
  url          = {http://eprint.iacr.org/2012/622},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyBVBPW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tocs/MahajanSLCADW11,
  author       = {Prince Mahajan and
                  Srinath T. V. Setty and
                  Sangmin Lee and
                  Allen Clement and
                  Lorenzo Alvisi and
                  Michael Dahlin and
                  Michael Walfish},
  title        = {Depot: Cloud Storage with Minimal Trust},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {29},
  number       = {4},
  pages        = {12:1--12:38},
  year         = {2011},
  url          = {https://doi.org/10.1145/2063509.2063512},
  doi          = {10.1145/2063509.2063512},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocs/MahajanSLCADW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hotos/IngramPSW11,
  author       = {Lon Ingram and
                  Ivaylo Popov and
                  Srinath T. V. Setty and
                  Michael Walfish},
  editor       = {Matt Welsh},
  title        = {Repair from a Chair: Computer Repair as an Untrusted Cloud Service},
  booktitle    = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
                  California, USA, May 9-11, 2011},
  publisher    = {{USENIX} Association},
  year         = {2011},
  url          = {https://www.usenix.org/conference/hotosxiii/repair-chair-computer-repair-untrusted-cloud-service},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/IngramPSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nsdi/RoySKSW10,
  author       = {Indrajit Roy and
                  Srinath T. V. Setty and
                  Ann Kilzer and
                  Vitaly Shmatikov and
                  Emmett Witchel},
  title        = {Airavat: Security and Privacy for MapReduce},
  booktitle    = {Proceedings of the 7th {USENIX} Symposium on Networked Systems Design
                  and Implementation, {NSDI} 2010, April 28-30, 2010, San Jose, CA,
                  {USA}},
  pages        = {297--312},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {http://www.usenix.org/events/nsdi10/tech/full\_papers/roy.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/RoySKSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/osdi/MahajanSLCADW10,
  author       = {Prince Mahajan and
                  Srinath T. V. Setty and
                  Sangmin Lee and
                  Allen Clement and
                  Lorenzo Alvisi and
                  Michael Dahlin and
                  Michael Walfish},
  editor       = {Remzi H. Arpaci{-}Dusseau and
                  Brad Chen},
  title        = {Depot: Cloud Storage with Minimal Trust},
  booktitle    = {9th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2010, October 4-6, 2010, Vancouver, BC, Canada, Proceedings},
  pages        = {307--322},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {http://www.usenix.org/events/osdi10/tech/full\_papers/Mahajan.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:35:55 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/MahajanSLCADW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.