MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
Weidong Cui
Partner Research Manager
Papiers de Collaboration
Publications par année
-
-
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 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!
-
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 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
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
-
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
-
Latte: Large-Scale Lateral Movement Detection
Qingyun Liu, Jack W. Stokes, Rob Mead, Tim Burrell, Ian Hellen, John Lambert, Andrey Marochko, Weidong Cui
IEEE Military Communications Conference (MILCOM) | 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
High-Resolution Side Channels for Untrusted Operating Systems
Marcus Hahnel, Weidong Cui, Marcus Peinado
Proceedings of 2017 USENIX Annual Technical Conference | July 2017
GRIFFIN: Guarding Control Flows Using Intel Processor Trace
Xinyang Ge, Weidong Cui, Trent Jaeger
Proceedings of the 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | April 2017
-
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 (ICSE) | May 2016
-
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Yuanzhong Xu, Weidong Cui, Marcus Peinado
Proceedings of the 36th IEEE Symposium on Security and Privacy (Oakland) | May 2015
-
deDacota: Toward Preventing Server-Side XSS via Automatic Code and Data Separation
Adam Doupe, Weidong Cui, Marcus Peinado, Mariusz Jakubowski, Christopher Kruegel, Giovanni Vigna
Proceedings of the 20th ACM Conference on Computer and Communications Security | November 2013
-
Tracking Rootkit Footprints with a Practical Memory Analysis System
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Proceedings of the 21st USENIX Security Symposium | August 2012
-
Practical Containment for Measuring Modern Malware Systems
Christian Kreibich, Nicholas Weaver, Chris Kanich, Weidong Cui, Vern Paxson
Proceedings of the 2011 International Measurement Conference | November 2011
-
Countering Kernel Rootkits with Lightweight Hook Protection
Zhi Wang, Xuxian Jiang, Weidong Cui, Peng Ning
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
Mapping Kernel Objects to Enable Systematic Integrity Checking
Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
Secure In-VM Monitoring Using Hardware Virtualization
Monirul Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
ReFormat: Automatic Reverse Engineering of Encrypted Messages
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace
Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS) | September 2009
-
Tupni: Automatic Reverse Engineering of Input Formats
Weidong Cui, Marcus Peinado, Karl Chen, Helen Wang, Luis Irun-Briz
Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS) | October 2008
Countering Persistent Kernel Rootkits Through Systematic Hook Discovery
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang
Proceedings of the 11th International Symposium on Recent Advances in Intrusion Detection (RAID) | September 2008
Spectator: Detection and Containment of JavaScript Worms
Ben Livshits, Weidong Cui
Proceedings of the 2008 USENIX Annual Technical Conference | June 2008
-
Discoverer: Automatic Protocol Reverse Engineering from Network Traces
Weidong Cui, Jayanthkumar Kannan, Helen Wang
Proceedings of the 16th USENIX Security Symposium | August 2007
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing
Weidong Cui, Marcus Peinado, Helen Wang, Michael Locasto
2007 IEEE Symposium on Security and Privacy | May 2007
Spectator: Detection and Containment of JavaScript Worms
Ben Livshits, Weidong Cui
MSR-TR-2007-55 | May 2007
-
Protocol-Independent Adaptive Replay of Application Dialog
Weidong Cui, Vern Paxson, Nicholas Weaver, Randy H. Katz
Proceedings of the 13th Annual Network and Distributed System Security Symposium (NDSS) | February 2006
-
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) | December 2005
Opportunistic Measurement: Extracting Insight from Spurious Traffic
Martin Casado, Tal Garfinkel, Weidong Cui, Vern Paxson, Stefan Savage
Proceedings of the Fourth Workshop on Hot Topics in Networks (HotNets-IV) | November 2005
Proceedings of the Fourth Workshop on Hot Topics in Networks (HotNets-IV)
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 | April 2005
Proceedings of the 2005 USENIX Annual Technical Conference
-
Playback-Buffer Equalization for Streaming Media using Stateless Transport Prioritization
Wai-tian Tan, Weidong Cui, John Apostolopoulos
Proceedings of the 13th International Packet Video Workshop | April 2003
-
Backup Path Allocation based on a Correlated Link Failure Probability Model in Overlay Networks
Weidong Cui, Ion Stoica, Randy H. Katz
Proceedings of the Tenth International Conference on Network Protocols (ICNP) | November 2002
Proceedings of the Tenth International Conference on Network Protocols (ICNP)
Filtre par zone de recherche
-
MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
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!
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 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
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
Latte: Large-Scale Lateral Movement Detection
Qingyun Liu, Jack W. Stokes, Rob Mead, Tim Burrell, Ian Hellen, John Lambert, Andrey Marochko, Weidong Cui
IEEE Military Communications Conference (MILCOM) | 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
High-Resolution Side Channels for Untrusted Operating Systems
Marcus Hahnel, Weidong Cui, Marcus Peinado
Proceedings of 2017 USENIX Annual Technical Conference | July 2017
GRIFFIN: Guarding Control Flows Using Intel Processor Trace
Xinyang Ge, Weidong Cui, Trent Jaeger
Proceedings of the 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | April 2017
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 (ICSE) | May 2016
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Yuanzhong Xu, Weidong Cui, Marcus Peinado
Proceedings of the 36th IEEE Symposium on Security and Privacy (Oakland) | May 2015
deDacota: Toward Preventing Server-Side XSS via Automatic Code and Data Separation
Adam Doupe, Weidong Cui, Marcus Peinado, Mariusz Jakubowski, Christopher Kruegel, Giovanni Vigna
Proceedings of the 20th ACM Conference on Computer and Communications Security | November 2013
Tracking Rootkit Footprints with a Practical Memory Analysis System
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Proceedings of the 21st USENIX Security Symposium | August 2012
Practical Containment for Measuring Modern Malware Systems
Christian Kreibich, Nicholas Weaver, Chris Kanich, Weidong Cui, Vern Paxson
Proceedings of the 2011 International Measurement Conference | November 2011
ReFormat: Automatic Reverse Engineering of Encrypted Messages
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace
Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS) | September 2009
Countering Persistent Kernel Rootkits Through Systematic Hook Discovery
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang
Proceedings of the 11th International Symposium on Recent Advances in Intrusion Detection (RAID) | September 2008
Spectator: Detection and Containment of JavaScript Worms
Ben Livshits, Weidong Cui
Proceedings of the 2008 USENIX Annual Technical Conference | June 2008
Spectator: Detection and Containment of JavaScript Worms
Ben Livshits, Weidong Cui
MSR-TR-2007-55 | May 2007
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing
Weidong Cui, Marcus Peinado, Helen Wang, Michael Locasto
2007 IEEE Symposium on Security and Privacy | May 2007
-
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
Security and Machine Learning in the Real World
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li
July 2020
-
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
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 (ICSE) | May 2016
ReFormat: Automatic Reverse Engineering of Encrypted Messages
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace
Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS) | September 2009
Tupni: Automatic Reverse Engineering of Input Formats
Weidong Cui, Marcus Peinado, Karl Chen, Helen Wang, Luis Irun-Briz
Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS) | October 2008
Countering Persistent Kernel Rootkits Through Systematic Hook Discovery
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang
Proceedings of the 11th International Symposium on Recent Advances in Intrusion Detection (RAID) | September 2008
-
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
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
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!
Mapping Kernel Objects to Enable Systematic Integrity Checking
Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
Countering Kernel Rootkits with Lightweight Hook Protection
Zhi Wang, Xuxian Jiang, Weidong Cui, Peng Ning
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
Secure In-VM Monitoring Using Hardware Virtualization
Monirul Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
Countering Persistent Kernel Rootkits Through Systematic Hook Discovery
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang
Proceedings of the 11th International Symposium on Recent Advances in Intrusion Detection (RAID) | September 2008
Discoverer: Automatic Protocol Reverse Engineering from Network Traces
Weidong Cui, Jayanthkumar Kannan, Helen Wang
Proceedings of the 16th USENIX Security Symposium | August 2007
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing
Weidong Cui, Marcus Peinado, Helen Wang, Michael Locasto
2007 IEEE Symposium on Security and Privacy | May 2007
Protocol-Independent Adaptive Replay of Application Dialog
Weidong Cui, Vern Paxson, Nicholas Weaver, Randy H. Katz
Proceedings of the 13th Annual Network and Distributed System Security Symposium (NDSS) | February 2006
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) | December 2005
Opportunistic Measurement: Extracting Insight from Spurious Traffic
Martin Casado, Tal Garfinkel, Weidong Cui, Vern Paxson, Stefan Savage
Proceedings of the Fourth Workshop on Hot Topics in Networks (HotNets-IV) | November 2005
Proceedings of the Fourth Workshop on Hot Topics in Networks (HotNets-IV)
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 | April 2005
Proceedings of the 2005 USENIX Annual Technical Conference
Playback-Buffer Equalization for Streaming Media using Stateless Transport Prioritization
Wai-tian Tan, Weidong Cui, John Apostolopoulos
Proceedings of the 13th International Packet Video Workshop | April 2003
Backup Path Allocation based on a Correlated Link Failure Probability Model in Overlay Networks
Weidong Cui, Ion Stoica, Randy H. Katz
Proceedings of the Tenth International Conference on Network Protocols (ICNP) | November 2002
Proceedings of the Tenth International Conference on Network Protocols (ICNP)
-
Playback-Buffer Equalization for Streaming Media using Stateless Transport Prioritization
Wai-tian Tan, Weidong Cui, John Apostolopoulos
Proceedings of the 13th International Packet Video Workshop | April 2003
Publication Type
-
MicroNova: Folding-based arguments with efficient (on-chain) verification
Jiaxing Zhao, Srinath Setty, Weidong Cui, Greg Zaverucha
Security and Privacy | May 2025
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!
Leveraging Large Language Models for Automated Proof Synthesis in Rust
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
arXiv:2311.03739 | November 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
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
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
Latte: Large-Scale Lateral Movement Detection
Qingyun Liu, Jack W. Stokes, Rob Mead, Tim Burrell, Ian Hellen, John Lambert, Andrey Marochko, Weidong Cui
IEEE Military Communications Conference (MILCOM) | 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
High-Resolution Side Channels for Untrusted Operating Systems
Marcus Hahnel, Weidong Cui, Marcus Peinado
Proceedings of 2017 USENIX Annual Technical Conference | July 2017
GRIFFIN: Guarding Control Flows Using Intel Processor Trace
Xinyang Ge, Weidong Cui, Trent Jaeger
Proceedings of the 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | April 2017
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 (ICSE) | May 2016
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
Yuanzhong Xu, Weidong Cui, Marcus Peinado
Proceedings of the 36th IEEE Symposium on Security and Privacy (Oakland) | May 2015
deDacota: Toward Preventing Server-Side XSS via Automatic Code and Data Separation
Adam Doupe, Weidong Cui, Marcus Peinado, Mariusz Jakubowski, Christopher Kruegel, Giovanni Vigna
Proceedings of the 20th ACM Conference on Computer and Communications Security | November 2013
Tracking Rootkit Footprints with a Practical Memory Analysis System
Weidong Cui, Marcus Peinado, Zhilei Xu, Ellick Chan
Proceedings of the 21st USENIX Security Symposium | August 2012
Practical Containment for Measuring Modern Malware Systems
Christian Kreibich, Nicholas Weaver, Chris Kanich, Weidong Cui, Vern Paxson
Proceedings of the 2011 International Measurement Conference | November 2011
Mapping Kernel Objects to Enable Systematic Integrity Checking
Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
Countering Kernel Rootkits with Lightweight Hook Protection
Zhi Wang, Xuxian Jiang, Weidong Cui, Peng Ning
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
Secure In-VM Monitoring Using Hardware Virtualization
Monirul Sharif, Wenke Lee, Weidong Cui, Andrea Lanzi
Proceedings of the 16th ACM Conference on Computer and Communications Security (CCS) | November 2009
ReFormat: Automatic Reverse Engineering of Encrypted Messages
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang, Mike Grace
Proceedings of the 14th European Symposium on Research in Computer Security (ESORICS) | September 2009
Tupni: Automatic Reverse Engineering of Input Formats
Weidong Cui, Marcus Peinado, Karl Chen, Helen Wang, Luis Irun-Briz
Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS) | October 2008
Countering Persistent Kernel Rootkits Through Systematic Hook Discovery
Zhi Wang, Xuxian Jiang, Weidong Cui, Xinyuan Wang
Proceedings of the 11th International Symposium on Recent Advances in Intrusion Detection (RAID) | September 2008
Spectator: Detection and Containment of JavaScript Worms
Ben Livshits, Weidong Cui
Proceedings of the 2008 USENIX Annual Technical Conference | June 2008
Discoverer: Automatic Protocol Reverse Engineering from Network Traces
Weidong Cui, Jayanthkumar Kannan, Helen Wang
Proceedings of the 16th USENIX Security Symposium | August 2007
ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities with Informed Probing
Weidong Cui, Marcus Peinado, Helen Wang, Michael Locasto
2007 IEEE Symposium on Security and Privacy | May 2007
Protocol-Independent Adaptive Replay of Application Dialog
Weidong Cui, Vern Paxson, Nicholas Weaver, Randy H. Katz
Proceedings of the 13th Annual Network and Distributed System Security Symposium (NDSS) | February 2006
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) | December 2005
Opportunistic Measurement: Extracting Insight from Spurious Traffic
Martin Casado, Tal Garfinkel, Weidong Cui, Vern Paxson, Stefan Savage
Proceedings of the Fourth Workshop on Hot Topics in Networks (HotNets-IV) | November 2005
Proceedings of the Fourth Workshop on Hot Topics in Networks (HotNets-IV)
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 | April 2005
Proceedings of the 2005 USENIX Annual Technical Conference
Playback-Buffer Equalization for Streaming Media using Stateless Transport Prioritization
Wai-tian Tan, Weidong Cui, John Apostolopoulos
Proceedings of the 13th International Packet Video Workshop | April 2003
Backup Path Allocation based on a Correlated Link Failure Probability Model in Overlay Networks
Weidong Cui, Ion Stoica, Randy H. Katz
Proceedings of the Tenth International Conference on Network Protocols (ICNP) | November 2002
Proceedings of the Tenth International Conference on Network Protocols (ICNP)
-
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
September 2024
Security and Machine Learning in the Real World
Ivan Evtimov, Weidong Cui, Ece Kamar, Emre Kiciman, Tadayoshi Kohno, Jerry Li
July 2020
-
Spectator: Detection and Containment of JavaScript Worms
Ben Livshits, Weidong Cui
MSR-TR-2007-55 | May 2007