Weidong Cui

According to our database, Weidong Cui authored at least 39 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Ziqiao Zhou, Shan Lu

CoRR, 2024

VeriSMo: A Verified Security Module for Confidential VMs.

Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

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

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

E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.

Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui

CoRR, 2023

Leveraging Large Language Models for Automated Proof Synthesis in Rust.

Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui

CoRR, 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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Nimble: Rollback Protection for Confidential Cloud Services.

Sebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

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

Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory.

Jiyong Yu, Xinyang Ge, Trent Jaeger, Christopher W. Fletcher, Weidong Cui

Proceedings of the 2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED), 2022

Research on Fault Diagnosis Technology of Model Support System based on Feature Extraction.

Junbin Zhang, Dewei Zhang, Fengwei Hou, Wanqiu Jiang, Pei Liu, Weidong Cui

Proceedings of the 15th International Symposium on Computational Intelligence and Design, 2022

Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted Cloud.

Xinyang Ge, Hsuan-Chi Kuo, Weidong Cui

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs.

Xinyang Ge, Ben Niu, Robert Brotzman, Yaohui Chen, HyungSeok Han, Patrice Godefroid, Weidong Cui

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Security and Machine Learning in the Real World.

Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li

CoRR, 2020

Reverse Debugging of Kernel Failures in Deployed Systems.

Xinyang Ge, Ben Niu, Weidong Cui

Proceedings of the 2020 USENIX Annual Technical Conference, 2020

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, 2018

Latte: Large-Scale Lateral Movement Detection.

Qingyun Liu, Jack W. Stokes, Rob Mead, Tim Burrell, Ian Hellen, John Lambert, Andrey Marochko, Weidong Cui

Proceedings of the 2018 IEEE Military Communications Conference, 2018

2017

High-Resolution Side Channels for Untrusted Operating Systems.

Marcus Hähnel, Weidong Cui, Marcus Peinado

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Lazy Diagnosis of In-Production Concurrency Bugs.

Baris Kasikci, Weidong Cui, Xinyang Ge, Ben Niu

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

GRIFFIN: Guarding Control Flows Using Intel Processor Trace.

Xinyang Ge, Weidong Cui, Trent Jaeger

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

RETracer: triaging crashes by reverse execution from partial memory dumps.

Weidong Cui, Marcus Peinado, Sang Kil Cha, Yanick Fratantonio, Vasileios P. Kemerlis

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems.

Yuanzhong Xu, Weidong Cui, Marcus Peinado

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

2013

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

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Tracking Rootkit Footprints with a Practical Memory Analysis System.

Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

2011

GQ: practical containment for measuring modern malware systems.

Christian Kreibich, Nicholas Weaver, Chris Kanich, Weidong Cui, Vern Paxson

Proceedings of the 11th ACM SIGCOMM Internet Measurement Conference, 2011

2009

ReFormat: Automatic Reverse Engineering of Encrypted Messages.

Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace

Proceedings of the Computer Security, 2009

Countering kernel rootkits with lightweight hook protection.

Zhi Wang, Xuxian Jiang, Weidong Cui, Peng Ning

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

Secure in-VM monitoring using hardware virtualization.

Monirul Islam Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

Mapping kernel objects to enable systematic integrity checking.

Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Spectator: Detection and Containment of JavaScript Worms.

V. Benjamin Livshits, Weidong Cui

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

Countering Persistent Kernel Rootkits through Systematic Hook Discovery.

Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang

Proceedings of the Recent Advances in Intrusion Detection, 11th International Symposium, 2008

Tupni: automatic reverse engineering of input formats.

Weidong Cui, Marcus Peinado, Karl Chen, Helen J. Wang, Luis Irún-Briz

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007

Discoverer: Automatic Protocol Reverse Engineering from Network Traces.

Weidong Cui, Jayanthkumar Kannan, Helen J. Wang

Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007

ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing.

Weidong Cui, Marcus Peinado, Helen J. Wang, Michael E. Locasto

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

2006

Protocol-Independent Adaptive Replay of Application Dialog.

Weidong Cui, Vern Paxson, Nicholas Weaver, Randy H. Katz

Proceedings of the Network and Distributed System Security Symposium, 2006

2005

BINDER: An Extrusion-Based Break-In Detector for Personal Computers.

Weidong Cui, Randy H. Katz, Wai-tian Tan

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

Design and Implementation of an Extrusion-based Break-In Detector for Personal Computers.

Weidong Cui, Randy H. Katz, Wai-tian Tan

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2002

The SAHARA Model for Service Composition across Multiple Providers.

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

Proceedings of the Pervasive Computing, 2002

Backup Path Allocation Based on a Correlated Link Failure Probability Model in Overlay Networks.

Weidong Cui, Ion Stoica, Randy H. Katz

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002