HyperNova: Recursive arguments for customizable constraint systems
Abhiram Kothapalli, Srinath Setty
August 2024
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
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
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
-
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
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
-
Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud
Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui
ACM Conference on Computer and Communications Security (CCS) | November 2022
Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory
Jiyong Yu, Xinyang Ge, Trent Jaeger, Christopher W. Fletcher, Weidong Cui
IEEE International Symposium on Secure and Private Execution Environment Design (SEED) | September 2022
-
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs
Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui
ACM Conference on Computer and Communications Security (CCS) | November 2021
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
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
40th Annual International Cryptology Conference | August 2020
Reverse Debugging of Kernel Failures in Deployed Systems
Xinyang Ge, Ben Niu, Weidong Cui
Proceedings of the 2020 USENIX Annual Technical Conference (ATC) | July 2020
Security and Machine Learning in the Real World
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li
July 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
REPT: Reverse Debugging of Failures in Deployed Software
Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
Jay Lepreau Best Paper Award
Awarded Best Paper!
-
Lazy Diagnosis of In-Production Concurrency Bugs
Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu
Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP) | October 2017
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
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
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
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
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
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
Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud
Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui
ACM Conference on Computer and Communications Security (CCS) | November 2022
Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory
Jiyong Yu, Xinyang Ge, Trent Jaeger, Christopher W. Fletcher, Weidong Cui
IEEE International Symposium on Secure and Private Execution Environment Design (SEED) | September 2022
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs
Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui
ACM Conference on Computer and Communications Security (CCS) | November 2021
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
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
40th Annual International Cryptology Conference | August 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
REPT: Reverse Debugging of Failures in Deployed Software
Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
Jay Lepreau Best Paper Award
Awarded Best Paper!
Lazy Diagnosis of In-Production Concurrency Bugs
Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu
Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP) | October 2017
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
-
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
Reverse Debugging of Kernel Failures in Deployed Systems
Xinyang Ge, Ben Niu, Weidong Cui
Proceedings of the 2020 USENIX Annual Technical Conference (ATC) | July 2020
Security and Machine Learning in the Real World
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li
July 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
REPT: Reverse Debugging of Failures in Deployed Software
Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
Jay Lepreau Best Paper Award
Awarded Best Paper!
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
-
Security and Machine Learning in the Real World
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li
July 2020
-
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
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
VeriSMo: A Verified Security Module for Confidential VMs
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
OSDI 2024 | July 2024
Jay Lepreau Best Paper Award
Awarded Best Paper!
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
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
17th USENIX Symposium on Operating Systems Design and Implementation | July 2023
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
Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud
Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui
ACM Conference on Computer and Communications Security (CCS) | November 2022
Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory
Jiyong Yu, Xinyang Ge, Trent Jaeger, Christopher W. Fletcher, Weidong Cui
IEEE International Symposium on Secure and Private Execution Environment Design (SEED) | September 2022
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs
Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui
ACM Conference on Computer and Communications Security (CCS) | November 2021
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
Spartan: Efficient and general-purpose zkSNARKs without trusted setup
40th Annual International Cryptology Conference | August 2020
Reverse Debugging of Kernel Failures in Deployed Systems
Xinyang Ge, Ben Niu, Weidong Cui
Proceedings of the 2020 USENIX Annual Technical Conference (ATC) | July 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
REPT: Reverse Debugging of Failures in Deployed Software
Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2018
Jay Lepreau Best Paper Award
Awarded Best Paper!
Lazy Diagnosis of In-Production Concurrency Bugs
Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu
Proceedings of the 26th ACM Symposium on Operating Systems Principles (SOSP) | October 2017
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
-
HyperNova: Recursive arguments for customizable constraint systems
Abhiram Kothapalli, Srinath Setty
August 2024
Quarks: Quadruple-efficient transparent zkSNARKs
Srinath Setty, Jonathan Lee
October 2020
Security and Machine Learning in the Real World
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li
July 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
People
Jay Bosamiya
Senior Researcher
Weiteng Chen
Senior Researcher
Weidong Cui
Partner Research Manager
Sangho Lee
Senior Researcher
Marcus Peinado
Architect
Srinath Setty
Principal Researcher
Ziqiao Zhou
Senior Researcher