IOValve: Leakage-Free I/O Sandbox for Large-Scale Untrusted Data Processing
Sangho Lee, Jules Drean, Yue Tan, Marcus Peinado
32nd ACM Conference on Computer and Communications Security (CCS 2025) | October 2025
Publications
-
-
-
MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
-
-
-
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!
-
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
Publié par Microsoft
-
-
-
IOValve: Leakage-Free I/O Sandbox for Large-Scale Untrusted Data Processing
Sangho Lee, Jules Drean, Yue Tan, Marcus Peinado
32nd ACM Conference on Computer and Communications Security (CCS 2025) | October 2025
-
MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
-
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
Publié par Microsoft
-
-
-
IOValve: Leakage-Free I/O Sandbox for Large-Scale Untrusted Data Processing
Sangho Lee, Jules Drean, Yue Tan, Marcus Peinado
32nd ACM Conference on Computer and Communications Security (CCS 2025) | October 2025
-
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
Publié par 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
-
-
-
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
-
-
-
IOValve: Leakage-Free I/O Sandbox for Large-Scale Untrusted Data Processing
Sangho Lee, Jules Drean, Yue Tan, Marcus Peinado
32nd ACM Conference on Computer and Communications Security (CCS 2025) | October 2025
-
MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
-
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
Publié par Microsoft
-
Personne
Jay Bosamiya
Senior Researcher
Weiteng Chen
Senior Researcher
Landon Cox
Senior Principal Researcher
Weidong Cui
Partner Research Manager
Sai Deng
Senior Research Software Engineer
Sangho Lee
Principal Researcher
Marcus Peinado
Architect
Sathvik Prasad
Senior Researcher
Srinath Setty
Senior Principal Researcher
Ioanna Tzialla
Senior Research Software Engineer
Ziqiao Zhou
Senior Researcher