HyperNova: Recursive arguments for customizable constraint systems
Abhiram Kothapalli, Srinath Setty
August 2024
Srinath Setty
Principal Researcher
Publications
Publications by Year
-
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath Setty, Jess Woods
USENIX Security | August 2024
Jolt: SNARKs for Virtual Machines via Lookups
Arasu Arun, Srinath Setty, Justin Thaler
Eurocrypt | May 2024
Unlocking the lookup singularity with Lasso
Srinath Setty, Justin Thaler, Riad Wahby
Eurocrypt | May 2024
-
Nimble: Rollback Protection for Confidential Cloud Services
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty (srinath), Sudheesh Singanamalla
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
-
Transparency Dictionaries with Succinct Proofs of Correct Operation
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty
NDSS 2022 | April 2022
-
FastVer: Making Data Integrity a Commodity
Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
SIGMOD | June 2021
-
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
Quarks: Quadruple-efficient transparent zkSNARKs
Srinath Setty, Jonathan Lee
October 2020
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
40th Annual International Cryptology Conference | August 2020
Replicated State Machines Without Replicated Execution
Jonathan Lee, Kirill Nikitin, Srinath Setty
IEEE Symposium on Security and Privacy | May 2020
-
Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
PIR with compressed queries and amortized computation
Sebastian Angel, Hao Chen, Kim Laine, Srinath Setty
IEEE Symposium on Security and Privacy, S&P (Oakland) 2018 | April 2018
-
Vale: Verifying High-Performance Cryptographic Assembly Code
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
Enabling secure and resource-efficient blockchain networks with VOLT
Srinath Setty, Soumya Basu, Lidong Zhou, Justine Stephenson, Ramarathnam Venkatesan
MSR-TR-2017-38 | August 2017
Published by Microsoft
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Communications of the ACM | July 2017, Vol 60
CACM Research Highlight
-
Realizing the fault-tolerance promise of cloud storage using locks with intent
Srinath Setty, Chunzhi Su, Jay Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
Operating Systems Design and Implementation (OSDI) | November 2016
Unobservable communication over fully untrusted infrastructure
Sebastian Angel, Srinath Setty
Operating Systems Design and Implementation (OSDI) | November 2016
Scalable and private media consumption with Popcorn
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, Michael Walfish
USENIX Symposium on Networked Systems Design and Implementation (NSDI) | March 2016
-
IronFleet: Proving Practical Distributed Systems Correct
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015
Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2015
Network & Distributed System Security Symposium (NDSS)
-
Toward practical argument systems for verifiable computation
December 2014
December 2014
Bert Kay Best Dissertation Award from the UT Department of Computer Science
-
Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Operating Systems Principles (SOSP) | November 2013
A Hybrid Architecture for Interactive Verifiable Computation
Victor Vu, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Security and Privacy (S&P) | May 2013
Resolving the Conflict Between Generality and Plausibility in Verified Computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013
-
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
USENIX Security | August 2012
Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2012
Network & Distributed System Security Symposium (NDSS)
-
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
ACM Transactions on Computer Systems (TOCS) | December 2011, Vol 29: pp. 0.500694444-0.526388889
Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Workshop on Hot Topics in Operating Systems (HotOS)
-
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
Symposium on Operating Systems Design and Implementation (OSDI) | October 2010
Symposium on Operating Systems Design and Implementation (OSDI)
Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
Symposium on Networked Systems Design and Implementation (NSDI) | April 2010
Publications by Research Area
-
HyperNova: Recursive arguments for customizable constraint systems
Abhiram Kothapalli, Srinath Setty
August 2024
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath Setty, Jess Woods
USENIX Security | August 2024
Unlocking the lookup singularity with Lasso
Srinath Setty, Justin Thaler, Riad Wahby
Eurocrypt | May 2024
Jolt: SNARKs for Virtual Machines via Lookups
Arasu Arun, Srinath Setty, Justin Thaler
Eurocrypt | May 2024
Nimble: Rollback Protection for Confidential Cloud Services
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty (srinath), Sudheesh Singanamalla
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
Transparency Dictionaries with Succinct Proofs of Correct Operation
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty
NDSS 2022 | April 2022
Quarks: Quadruple-efficient transparent zkSNARKs
Srinath Setty, Jonathan Lee
October 2020
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
40th Annual International Cryptology Conference | August 2020
Replicated State Machines Without Replicated Execution
Jonathan Lee, Kirill Nikitin, Srinath Setty
IEEE Symposium on Security and Privacy | May 2020
Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
PIR with compressed queries and amortized computation
Sebastian Angel, Hao Chen, Kim Laine, Srinath Setty
IEEE Symposium on Security and Privacy, S&P (Oakland) 2018 | April 2018
Vale: Verifying High-Performance Cryptographic Assembly Code
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
Enabling secure and resource-efficient blockchain networks with VOLT
Srinath Setty, Soumya Basu, Lidong Zhou, Justine Stephenson, Ramarathnam Venkatesan
MSR-TR-2017-38 | August 2017
Published by Microsoft
Unobservable communication over fully untrusted infrastructure
Sebastian Angel, Srinath Setty
Operating Systems Design and Implementation (OSDI) | November 2016
Scalable and private media consumption with Popcorn
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, Michael Walfish
USENIX Symposium on Networked Systems Design and Implementation (NSDI) | March 2016
IronFleet: Proving Practical Distributed Systems Correct
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015
Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2015
Network & Distributed System Security Symposium (NDSS)
Toward practical argument systems for verifiable computation
December 2014
December 2014
Bert Kay Best Dissertation Award from the UT Department of Computer Science
Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Operating Systems Principles (SOSP) | November 2013
A Hybrid Architecture for Interactive Verifiable Computation
Victor Vu, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Security and Privacy (S&P) | May 2013
Resolving the Conflict Between Generality and Plausibility in Verified Computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
USENIX Security | August 2012
Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2012
Network & Distributed System Security Symposium (NDSS)
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
ACM Transactions on Computer Systems (TOCS) | December 2011, Vol 29: pp. 0.500694444-0.526388889
Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Workshop on Hot Topics in Operating Systems (HotOS)
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
Symposium on Operating Systems Design and Implementation (OSDI) | October 2010
Symposium on Operating Systems Design and Implementation (OSDI)
Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
Symposium on Networked Systems Design and Implementation (NSDI) | April 2010
-
FastVer: Making Data Integrity a Commodity
Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
SIGMOD | June 2021
-
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
Enabling secure and resource-efficient blockchain networks with VOLT
Srinath Setty, Soumya Basu, Lidong Zhou, Justine Stephenson, Ramarathnam Venkatesan
MSR-TR-2017-38 | August 2017
Published by Microsoft
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Communications of the ACM | July 2017, Vol 60
CACM Research Highlight
Unobservable communication over fully untrusted infrastructure
Sebastian Angel, Srinath Setty
Operating Systems Design and Implementation (OSDI) | November 2016
Realizing the fault-tolerance promise of cloud storage using locks with intent
Srinath Setty, Chunzhi Su, Jay Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
Operating Systems Design and Implementation (OSDI) | November 2016
Scalable and private media consumption with Popcorn
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, Michael Walfish
USENIX Symposium on Networked Systems Design and Implementation (NSDI) | March 2016
IronFleet: Proving Practical Distributed Systems Correct
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015
Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2015
Network & Distributed System Security Symposium (NDSS)
Toward practical argument systems for verifiable computation
December 2014
December 2014
Bert Kay Best Dissertation Award from the UT Department of Computer Science
Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Operating Systems Principles (SOSP) | November 2013
A Hybrid Architecture for Interactive Verifiable Computation
Victor Vu, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Security and Privacy (S&P) | May 2013
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
USENIX Security | August 2012
Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2012
Network & Distributed System Security Symposium (NDSS)
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
ACM Transactions on Computer Systems (TOCS) | December 2011, Vol 29: pp. 0.500694444-0.526388889
Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Workshop on Hot Topics in Operating Systems (HotOS)
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
Symposium on Operating Systems Design and Implementation (OSDI) | October 2010
Symposium on Operating Systems Design and Implementation (OSDI)
Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
Symposium on Networked Systems Design and Implementation (NSDI) | April 2010
-
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
-
Vale: Verifying High-Performance Cryptographic Assembly Code
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Communications of the ACM | July 2017, Vol 60
CACM Research Highlight
Publications by Type
-
Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs
Sebastian Angel, Eleftherios Ioannidis, Elizabeth Margolin, Srinath Setty, Jess Woods
USENIX Security | August 2024
Unlocking the lookup singularity with Lasso
Srinath Setty, Justin Thaler, Riad Wahby
Eurocrypt | May 2024
Jolt: SNARKs for Virtual Machines via Lookups
Arasu Arun, Srinath Setty, Justin Thaler
Eurocrypt | May 2024
Nimble: Rollback Protection for Confidential Cloud Services
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath Setty (srinath), Sudheesh Singanamalla
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
Transparency Dictionaries with Succinct Proofs of Correct Operation
Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty
NDSS 2022 | April 2022
FastVer: Making Data Integrity a Commodity
Arvind Arasu, Aseem Rastogi, Badrish Chandramouli, Donald Kossmann, Esha Ghosh, Johannes Gehrke, Nikhil Swamy, Jonathan Protzenko, Ravi Ramamurthy, Srinath Setty, Tahina Ramananandro, Alexander van Renen, Min Xu
SIGMOD | June 2021
Byzantine Ordered Consensus without Byzantine Oligarchy
Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi
Operating Systems Design and Implementation (OSDI) | October 2020
Jay Lepreau Best Paper Award
Visor: Privacy-Preserving Video Analytics as a Cloud Service
Rishabh Poddar, Ganesh Ananthanarayanan, Srinath Setty, Stavros Volos, Raluca Ada Popa
29th USENIX Security Symposium | August 2020
CSAW 2020 Applied Research Competition Award (Runner-up)
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
40th Annual International Cryptology Conference | August 2020
Replicated State Machines Without Replicated Execution
Jonathan Lee, Kirill Nikitin, Srinath Setty
IEEE Symposium on Security and Privacy | May 2020
Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
PIR with compressed queries and amortized computation
Sebastian Angel, Hao Chen, Kim Laine, Srinath Setty
IEEE Symposium on Security and Privacy, S&P (Oakland) 2018 | April 2018
Vale: Verifying High-Performance Cryptographic Assembly Code
Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson
Proceedings of the USENIX Security Symposium | August 2017
Distinguished Paper Award
Unobservable communication over fully untrusted infrastructure
Sebastian Angel, Srinath Setty
Operating Systems Design and Implementation (OSDI) | November 2016
Realizing the fault-tolerance promise of cloud storage using locks with intent
Srinath Setty, Chunzhi Su, Jay Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
Operating Systems Design and Implementation (OSDI) | November 2016
Scalable and private media consumption with Popcorn
Trinabh Gupta, Natacha Crooks, Whitney Mulhern, Srinath Setty, Lorenzo Alvisi, Michael Walfish
USENIX Symposium on Networked Systems Design and Implementation (NSDI) | March 2016
IronFleet: Proving Practical Distributed Systems Correct
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015
Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2015
Network & Distributed System Security Symposium (NDSS)
Verifying computations with state
Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Operating Systems Principles (SOSP) | November 2013
A Hybrid Architecture for Interactive Verifiable Computation
Victor Vu, Srinath Setty, Andrew J. Blumberg, Michael Walfish
Symposium on Security and Privacy (S&P) | May 2013
Resolving the Conflict Between Generality and Plausibility in Verified Computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013
Taking proof-based verified computation a few steps closer to practicality
Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, Michael Walfish
USENIX Security | August 2012
Making argument systems for outsourced computation practical (sometimes)
Srinath Setty, Richard McPherson, Andrew J. Blumberg, Michael Walfish
Network & Distributed System Security Symposium (NDSS) | February 2012
Network & Distributed System Security Symposium (NDSS)
Repair from a chair: Computer repair as an untrusted cloud service
Lon Ingram, Ivaylo Popov, Srinath Setty, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Toward practical and unconditional verification of remote computations
Srinath Setty, Andrew J. Blumberg, Michael Walfish
Workshop on Hot Topics in Operating Systems (HotOS) | May 2011
Workshop on Hot Topics in Operating Systems (HotOS)
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
Symposium on Operating Systems Design and Implementation (OSDI) | October 2010
Symposium on Operating Systems Design and Implementation (OSDI)
Airavat: Security and Privacy for MapReduce
Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
Symposium on Networked Systems Design and Implementation (NSDI) | April 2010
-
HyperNova: Recursive arguments for customizable constraint systems
Abhiram Kothapalli, Srinath Setty
August 2024
Quarks: Quadruple-efficient transparent zkSNARKs
Srinath Setty, Jonathan Lee
October 2020
-
Enabling secure and resource-efficient blockchain networks with VOLT
Srinath Setty, Soumya Basu, Lidong Zhou, Justine Stephenson, Ramarathnam Venkatesan
MSR-TR-2017-38 | August 2017
Published by Microsoft
-
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill
Communications of the ACM | July 2017, Vol 60
CACM Research Highlight
Depot: Cloud Storage with Minimal Trust
Prince Mahajan, Srinath Setty, Sangmin Lee, Allen Clement, Lorenzo Alvisi, Mike Dahlin, Michael Walfish
ACM Transactions on Computer Systems (TOCS) | December 2011, Vol 29: pp. 0.500694444-0.526388889
-
Toward practical argument systems for verifiable computation
December 2014
December 2014
Bert Kay Best Dissertation Award from the UT Department of Computer Science