Backup Path Allocation Based on a Correlated Link Failure Probability Model in Overlay Networks. - Weidong Cui; Ion Stoica; Randy H. Katz (ICNP, 2002)

The SAHARA Model for Service Composition across Multiple Providers. - Bhaskaran Raman; Sharad Agarwal; Yan Chen 004; Matthew Caesar 001; Weidong Cui; Per Johansson; Kevin Lai; Tal Lavian; Sridhar Machiraju; Zhuoqing Morley Mao; George Porter; Timothy Roscoe; et al. (Pervasive, 2002)

Design and Implementation of an Extrusion-based Break-In Detector for Personal Computers. - Weidong Cui; Randy H. Katz; Wai-tian Tan (ACSAC, 2005)

BINDER: An Extrusion-Based Break-In Detector for Personal Computers. - Weidong Cui; Randy H. Katz; Wai-tian Tan (USENIX ATC, General Track, 2005)

Protocol-Independent Adaptive Replay of Application Dialog. - Weidong Cui; Vern Paxson; Nicholas Weaver; Randy H. Katz (NDSS, 2006)

ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing. - Weidong Cui; Marcus Peinado; Helen J. Wang; Michael E. Locasto (S&P, 2007)

Discoverer: Automatic Protocol Reverse Engineering from Network Traces. - Weidong Cui; Jayanthkumar Kannan; Helen J. Wang (USENIX Security Symposium, 2007)

Tupni: automatic reverse engineering of input formats. - Weidong Cui; Marcus Peinado; Karl Chen; Helen J. Wang; Luis Irún-Briz (CCS, 2008)

Countering Persistent Kernel Rootkits through Systematic Hook Discovery. - Zhi Wang 004; Xuxian Jiang; Weidong Cui; Xinyuan Wang 005 (RAID, 2008)

Spectator: Detection and Containment of JavaScript Worms. - V. Benjamin Livshits; Weidong Cui (USENIX ATC, 2008)

Mapping kernel objects to enable systematic integrity checking. - Martim Carbone; Weidong Cui; Long Lu; Wenke Lee; Marcus Peinado; Xuxian Jiang (CCS, 2009)

Secure in-VM monitoring using hardware virtualization. - Monirul Islam Sharif; Wenke Lee; Weidong Cui; Andrea Lanzi (CCS, 2009)

Countering kernel rootkits with lightweight hook protection. - Zhi Wang 004; Xuxian Jiang; Weidong Cui; Peng Ning (CCS, 2009)

ReFormat: Automatic Reverse Engineering of Encrypted Messages. - Zhi Wang 004; Xuxian Jiang; Weidong Cui; Xinyuan Wang 005; Mike Grace (ESORICS, 2009)

GQ: practical containment for measuring modern malware systems. - Christian Kreibich; Nicholas Weaver; Chris Kanich; Weidong Cui; Vern Paxson (Internet Measurement Conference, 2011)

Tracking Rootkit Footprints with a Practical Memory Analysis System. - Weidong Cui; Marcus Peinado; Zhilei Xu; Ellick Chan (USENIX Security Symposium, 2012)

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 (CCS, 2013)

Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems. - Yuanzhong Xu; Weidong Cui; Marcus Peinado (IEEE Symposium on Security and Privacy, 2015)

RETracer: triaging crashes by reverse execution from partial memory dumps. - Weidong Cui; Marcus Peinado; Sang Kil Cha; Yanick Fratantonio; Vasileios P. Kemerlis (ICSE, 2016)

GRIFFIN: Guarding Control Flows Using Intel Processor Trace. - Xinyang Ge; Weidong Cui; Trent Jaeger (ASPLOS, 2017)

Lazy Diagnosis of In-Production Concurrency Bugs. - Baris Kasikci; Weidong Cui; Xinyang Ge; Ben Niu 007 (SOSP, 2017)

High-Resolution Side Channels for Untrusted Operating Systems. - Marcus Hähnel; Weidong Cui; Marcus Peinado (USENIX ATC, 2017)

Latte: Large-Scale Lateral Movement Detection. - Qingyun Liu 003; Jack W. Stokes; Rob Mead; Tim Burrell; Ian Hellen; John Lambert; Andrey Marochko; Weidong Cui (MILCOM, 2018)

REPT: Reverse Debugging of Failures in Deployed Software. - Weidong Cui; Xinyang Ge; Baris Kasikci; Ben Niu 007; Upamanyu Sharma; Ruoyu Wang 001; Insu Yun (OSDI, 2018)

Reverse Debugging of Kernel Failures in Deployed Systems. - Xinyang Ge; Ben Niu 007; Weidong Cui (USENIX ATC, 2020)

Security and Machine Learning in the Real World. - Ivan Evtimov; Weidong Cui; Ece Kamar; Emre Kiciman; Tadayoshi Kohno; Jerry Li 001 (CoRR, 2020)

HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. - Xinyang Ge; Ben Niu 007; Robert Brotzman; Yaohui Chen 001; HyungSeok Han; Patrice Godefroid; Weidong Cui (CCS, 2021)

Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud. - Xinyang Ge; Hsuan-Chi Kuo; Weidong Cui (CCS, 2022)

Research on Fault Diagnosis Technology of Model Support System based on Feature Extraction. - Junbin Zhang 003; Dewei Zhang; Fengwei Hou; Wanqiu Jiang; Pei Liu; Weidong Cui (ISCID, 2022)

Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory. - Jiyong Yu; Xinyang Ge; Trent Jaeger; Christopher W. Fletcher; Weidong Cui (SEED, 2022)

Gated Recurrent Unit Network for Psychological Stress Classification Using Electrocardiograms from Wearable Devices. - Jun Zhong; Yongfeng Liu; Xiankai Cheng; Liming Cai; Weidong Cui; Dong Hai (Sensors, 2022)

Nimble: Rollback Protection for Confidential Cloud Services. - Sebastian Angel; Aditya Basu; Weidong Cui; Trent Jaeger; Stella Lau; Srinath T. V. Setty; Sudheesh Singanamalla (OSDI, 2023)

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 (OSDI, 2023)

Leveraging Large Language Models for Automated Proof Synthesis in Rust. - Jianan Yao; Ziqiao Zhou; Weiteng Chen; Weidong Cui (CoRR, 2023)

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. - Yu Hao 006; Weiteng Chen; Ziqiao Zhou; Weidong Cui (CoRR, 2023)

Nimble: Rollback Protection for Confidential Cloud Services (extended version). - Sebastian Angel; Aditya Basu; Weidong Cui; Trent Jaeger; Stella Lau; Srinath T. V. Setty; Sudheesh Singanamalla (IACR Cryptol. ePrint Arch., 2023)

Classification and Analysis of Human Body Movement Characteristics Associated with Acrophobia Induced by Virtual Reality Scenes of Heights. - Xiankai Cheng; Benkun Bao; Weidong Cui; Shuai Liu; Jun Zhong; Liming Cai; Hongbo Yang (Sensors, 2023)

VeriSMo: A Verified Security Module for Confidential VMs. - Ziqiao Zhou; Anjali; Weiteng Chen; Sishuai Gong; Chris Hawblitzel; Weidong Cui (OSDI, 2024)

AutoVerus: Automated Proof Generation for Rust Code. - Chenyuan Yang; Xuheng Li; Md Rakib Hossain Misu; Jianan Yao; Weidong Cui; Yeyun Gong; Chris Hawblitzel; Shuvendu K. Lahiri; Jacob R. Lorch; Shuai Lu; Fan Yang 024; Ziqiao Zhou; et al. (CoRR, 2024)

MicroNova: Folding-based arguments with efficient (on-chain) verification. - Jiaxing Zhao; Srinath T. V. Setty; Weidong Cui (IACR Cryptol. ePrint Arch., 2024)

MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification. - Jiaxing Zhao; Srinath T. V. Setty; Weidong Cui; Greg Zaverucha (SP, 2025)