Weidong Cui

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 20

Top Topics

Virtual Machine

Confidential Information

Top Venues

USENIX Annual Technical Conference

Publications

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
VeriSMo: A Verified Security Module for Confidential VMs. OSDI (2024)
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
Leveraging Large Language Models for Automated Proof Synthesis in Rust. CoRR (2023)
Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification. CoRR (2023)
Xiankai Cheng, Benkun Bao, Weidong Cui, Shuai Liu, Jun Zhong, Liming Cai, Hongbo Yang
Classification and Analysis of Human Body Movement Characteristics Associated with Acrophobia Induced by Virtual Reality Scenes of Heights. Sensors 23 (12) (2023)
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services (extended version). IACR Cryptol. ePrint Arch. 2023 (2023)
Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla
Nimble: Rollback Protection for Confidential Cloud Services. OSDI (2023)
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud. OSDI (2023)
Jiyong Yu, Xinyang Ge, Trent Jaeger, Christopher W. Fletcher, Weidong Cui
Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory. SEED (2022)
Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui
Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud. CCS (2022)
Junbin Zhang, Dewei Zhang, Fengwei Hou, Wanqiu Jiang, Pei Liu, Weidong Cui
Research on Fault Diagnosis Technology of Model Support System based on Feature Extraction. ISCID (2022)
Jun Zhong, Yongfeng Liu, Xiankai Cheng, Liming Cai, Weidong Cui, Dong Hai
Gated Recurrent Unit Network for Psychological Stress Classification Using Electrocardiograms from Wearable Devices. Sensors 22 (22) (2022)
Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui
HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs. CCS (2021)
Xinyang Ge, Ben Niu, Weidong Cui
Reverse Debugging of Kernel Failures in Deployed Systems. USENIX Annual Technical Conference (2020)
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li
Security and Machine Learning in the Real World. CoRR (2020)
Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun
REPT: Reverse Debugging of Failures in Deployed Software. OSDI (2018)
Qingyun Liu, Jack W. Stokes, Rob Mead, Tim Burrell, Ian Hellen, John Lambert, Andrey Marochko, Weidong Cui
Latte: Large-Scale Lateral Movement Detection. MILCOM (2018)
Marcus Hähnel, Weidong Cui, Marcus Peinado
High-Resolution Side Channels for Untrusted Operating Systems. USENIX Annual Technical Conference (2017)
Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu
Lazy Diagnosis of In-Production Concurrency Bugs. SOSP (2017)
Xinyang Ge, Weidong Cui, Trent Jaeger
GRIFFIN: Guarding Control Flows Using Intel Processor Trace. ASPLOS (2017)
Weidong Cui, Marcus Peinado, Sang Kil Cha, Yanick Fratantonio, Vasileios P. Kemerlis
RETracer: triaging crashes by reverse execution from partial memory dumps. ICSE (2016)
Yuanzhong Xu, Weidong Cui, Marcus Peinado
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems. IEEE Symposium on Security and Privacy (2015)
Adam Doupé, Weidong Cui, Mariusz H. Jakubowski, Marcus Peinado, Christopher Kruegel, Giovanni Vigna
deDacota: toward preventing server-side XSS via automatic code and data separation. CCS (2013)
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Tracking Rootkit Footprints with a Practical Memory Analysis System. USENIX Security Symposium (2012)
Christian Kreibich, Nicholas Weaver, Chris Kanich, Weidong Cui, Vern Paxson
GQ: practical containment for measuring modern malware systems. Internet Measurement Conference (2011)
Zhi Wang, Xuxian Jiang, Weidong Cui, Peng Ning
Countering kernel rootkits with lightweight hook protection. CCS (2009)
Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang
Mapping kernel objects to enable systematic integrity checking. CCS (2009)
Monirul I. Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi
Secure in-VM monitoring using hardware virtualization. CCS (2009)
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace
ReFormat: Automatic Reverse Engineering of Encrypted Messages. ESORICS (2009)
Weidong Cui, Marcus Peinado, Karl Chen, Helen J. Wang, Luis Irún-Briz
Tupni: automatic reverse engineering of input formats. CCS (2008)
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang
Countering Persistent Kernel Rootkits through Systematic Hook Discovery. RAID (2008)
V. Benjamin Livshits, Weidong Cui
Spectator: Detection and Containment of JavaScript Worms. USENIX Annual Technical Conference (2008)
Weidong Cui, Marcus Peinado, Helen J. Wang, Michael E. Locasto
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing. IEEE Symposium on Security and Privacy (2007)
Weidong Cui, Jayanthkumar Kannan, Helen J. Wang
Discoverer: Automatic Protocol Reverse Engineering from Network Traces. USENIX Security Symposium (2007)
Weidong Cui, Vern Paxson, Nicholas Weaver, Randy H. Katz
Protocol-Independent Adaptive Replay of Application Dialog. NDSS (2006)
Weidong Cui, Randy H. Katz, Wai-tian Tan
Design and Implementation of an Extrusion-based Break-In Detector for Personal Computers. ACSAC (2005)
Weidong Cui, Randy H. Katz, Wai-tian Tan
BINDER: An Extrusion-Based Break-In Detector for Personal Computers. USENIX Annual Technical Conference, General Track (2005)
Bhaskaran Raman, Sharad Agarwal, Yan Chen, Matthew Caesar, Weidong Cui, Per Johansson, Kevin Lai, Tal Lavian, Sridhar Machiraju, Zhuoqing Morley Mao, George Porter, Timothy Roscoe, Mukund Seshadri, Jimmy S. Shih, Keith Sklower, Lakshminarayanan Subramanian, Takashi Suzuki, Shelley Zhuang, Anthony D. Joseph, Randy H. Katz, Ion Stoica
The SAHARA Model for Service Composition across Multiple Providers. Pervasive (2002)
Weidong Cui, Ion Stoica, Randy H. Katz
Backup Path Allocation Based on a Correlated Link Failure Probability Model in Overlay Networks. ICNP (2002)