| 2025 | SP | MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification. | Jiaxing Zhao, Srinath T. V. Setty, Weidong Cui, Greg Zaverucha |
| 2024 | OSDI | VeriSMo: A Verified Security Module for Confidential VMs. | Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui |
| 2023 | OSDI | Nimble: Rollback Protection for Confidential Cloud Services. | Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla |
| 2023 | OSDI | 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 |
| 2022 | CCS | Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud. | Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui |
| 2021 | CCS | HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. | Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui |
| 2020 | USENIX | Reverse Debugging of Kernel Failures in Deployed Systems. | Xinyang Ge, Ben Niu, Weidong Cui |
| 2018 | OSDI | REPT: Reverse Debugging of Failures in Deployed Software. | Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun |
| 2017 | ASPLOS | GRIFFIN: Guarding Control Flows Using Intel Processor Trace. | Xinyang Ge, Weidong Cui, Trent Jaeger |
| 2017 | USENIX | High-Resolution Side Channels for Untrusted Operating Systems. | Marcus Hhnel, Weidong Cui, Marcus Peinado |
| 2017 | SOSP | Lazy Diagnosis of In-Production Concurrency Bugs. | Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu |
| 2016 | ICSE | RETracer: triaging crashes by reverse execution from partial memory dumps. | Weidong Cui, Marcus Peinado, Sang Kil Cha, Yanick Fratantonio, Vasileios P. Kemerlis |
| 2015 | SP | Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems. | Yuanzhong Xu, Weidong Cui, Marcus Peinado |
| 2013 | CCS | deDacota: toward preventing server-side XSS via automatic code and data separation. | Adam Doup, Weidong Cui, Mariusz H. Jakubowski, Marcus Peinado, Christopher Kruegel, Giovanni Vigna |
| 2011 | IMC | GQ: practical containment for measuring modern malware systems. | Christian Kreibich, Nicholas Weaver, Chris Kanich, Weidong Cui, Vern Paxson |
| 2009 | CCS | Mapping kernel objects to enable systematic integrity checking. | Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang |
| 2009 | CCS | Secure in-VM monitoring using hardware virtualization. | Monirul Islam Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi |
| 2009 | CCS | Countering kernel rootkits with lightweight hook protection. | Zhi Wang, Xuxian Jiang, Weidong Cui, Peng Ning |
| 2009 | ESORICS | ReFormat: Automatic Reverse Engineering of Encrypted Messages. | Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace |
| 2008 | CCS | Tupni: automatic reverse engineering of input formats. | Weidong Cui, Marcus Peinado, Karl Chen, Helen J. Wang, Luis Irn-Briz |
| 2008 | RAID | Countering Persistent Kernel Rootkits through Systematic Hook Discovery. | Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang |
| 2008 | USENIX | Spectator: Detection and Containment of JavaScript Worms. | V. Benjamin Livshits, Weidong Cui |
| 2007 | SP | ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing. | Weidong Cui, Marcus Peinado, Helen J. Wang, Michael E. Locasto |
| 2006 | NDSS | Protocol-Independent Adaptive Replay of Application Dialog. | Weidong Cui, Vern Paxson, Nicholas Weaver, Randy H. Katz |
| 2005 | ACSAC | Design and Implementation of an Extrusion-based Break-In Detector for Personal Computers. | Weidong Cui, Randy H. Katz, Wai-tian Tan |
| 2005 | USENIX | BINDER: An Extrusion-Based Break-In Detector for Personal Computers. | Weidong Cui, Randy H. Katz, Wai-tian Tan |
| 2002 | ICNP | Backup Path Allocation Based on a Correlated Link Failure Probability Model in Overlay Networks. | Weidong Cui, Ion Stoica, Randy H. Katz |