default search action
BibTeX records: Weidong Cui
@article{DBLP:journals/pacmpl/YangLMYCGHLLL0Z25,
author = {Chenyuan Yang and
Xuheng Li and
Md Rakib Hossain Misu and
Jianan Yao and
Weidong Cui and
Yeyun Gong and
Chris Hawblitzel and
Shuvendu K. Lahiri and
Jacob R. Lorch and
Shuai Lu and
Fan Yang and
Ziqiao Zhou and
Shan Lu},
title = {AutoVerus: Automated Proof Generation for Rust Code},
journal = {Proc. {ACM} Program. Lang.},
volume = {9},
number = {{OOPSLA2}},
pages = {3454--3482},
year = {2025},
url = {https://doi.org/10.1145/3763174},
doi = {10.1145/3763174},
timestamp = {Wed, 25 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/YangLMYCGHLLL0Z25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ZhaoSCZ25,
author = {Jiaxing Zhao and
Srinath T. V. Setty and
Weidong Cui and
Greg Zaverucha},
editor = {Marina Blanton and
William Enck and
Cristina Nita{-}Rotaru},
title = {MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2025, San Francisco,
CA, USA, May 12-15, 2025},
pages = {1964--1982},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/SP61157.2025.00168},
doi = {10.1109/SP61157.2025.00168},
timestamp = {Fri, 04 Jul 2025 15:34:07 +0200},
biburl = {https://dblp.org/rec/conf/sp/ZhaoSCZ25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZhouACGHC24,
author = {Ziqiao Zhou and
Anjali and
Weiteng Chen and
Sishuai Gong and
Chris Hawblitzel and
Weidong Cui},
editor = {Ada Gavrilovska and
Douglas B. Terry},
title = {VeriSMo: {A} Verified Security Module for Confidential VMs},
booktitle = {18th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2024, Santa Clara, CA, USA, July 10-12, 2024},
pages = {599--614},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/osdi24/presentation/zhou},
timestamp = {Tue, 16 Jul 2024 16:41:59 +0200},
biburl = {https://dblp.org/rec/conf/osdi/ZhouACGHC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2409-13082,
author = {Chenyuan Yang and
Xuheng Li and
Md Rakib Hossain Misu and
Jianan Yao and
Weidong Cui and
Yeyun Gong and
Chris Hawblitzel and
Shuvendu K. Lahiri and
Jacob R. Lorch and
Shuai Lu and
Fan Yang and
Ziqiao Zhou and
Shan Lu},
title = {AutoVerus: Automated Proof Generation for Rust Code},
journal = {CoRR},
volume = {abs/2409.13082},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2409.13082},
doi = {10.48550/ARXIV.2409.13082},
eprinttype = {arXiv},
eprint = {2409.13082},
timestamp = {Thu, 28 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2409-13082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ZhaoSC24,
author = {Jiaxing Zhao and
Srinath T. V. Setty and
Weidong Cui},
title = {MicroNova: Folding-based arguments with efficient (on-chain) verification},
journal = {{IACR} Cryptol. ePrint Arch.},
volume = {2024},
pages = {2099},
year = {2024},
url = {https://eprint.iacr.org/2024/2099},
timestamp = {Sun, 12 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/ZhaoSC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ChengBCLZCY23,
author = {Xiankai Cheng and
Benkun Bao and
Weidong Cui and
Shuai Liu and
Jun Zhong and
Liming Cai and
Hongbo Yang},
title = {Classification and Analysis of Human Body Movement Characteristics
Associated with Acrophobia Induced by Virtual Reality Scenes of Heights},
journal = {Sensors},
volume = {23},
number = {12},
pages = {5482},
year = {2023},
url = {https://doi.org/10.3390/s23125482},
doi = {10.3390/S23125482},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/ChengBCLZCY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/AngelBCJLSS23,
author = {Sebastian Angel and
Aditya Basu and
Weidong Cui and
Trent Jaeger and
Stella Lau and
Srinath T. V. Setty and
Sudheesh Singanamalla},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {Nimble: Rollback Protection for Confidential Cloud Services},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {193--208},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/angel},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/AngelBCJLSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZhouSCGPB23,
author = {Ziqiao Zhou and
Yizhou Shan and
Weidong Cui and
Xinyang Ge and
Marcus Peinado and
Andrew Baumann},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {Core slicing: closing the gap between leaky confidential VMs and bare-metal
cloud},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {247--267},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/zhou-ziqiao},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/ZhouSCGPB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03739,
author = {Jianan Yao and
Ziqiao Zhou and
Weiteng Chen and
Weidong Cui},
title = {Leveraging Large Language Models for Automated Proof Synthesis in
Rust},
journal = {CoRR},
volume = {abs/2311.03739},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.03739},
doi = {10.48550/ARXIV.2311.03739},
eprinttype = {arXiv},
eprint = {2311.03739},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-03739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08477,
author = {Yu Hao and
Weiteng Chen and
Ziqiao Zhou and
Weidong Cui},
title = {E{\&}V: Prompting Large Language Models to Perform Static Analysis
by Pseudo-code Execution and Verification},
journal = {CoRR},
volume = {abs/2312.08477},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08477},
doi = {10.48550/ARXIV.2312.08477},
eprinttype = {arXiv},
eprint = {2312.08477},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AngelBCJLSS23,
author = {Sebastian Angel and
Aditya Basu and
Weidong Cui and
Trent Jaeger and
Stella Lau and
Srinath T. V. Setty and
Sudheesh Singanamalla},
title = {Nimble: Rollback Protection for Confidential Cloud Services (extended
version)},
journal = {{IACR} Cryptol. ePrint Arch.},
volume = {2023},
pages = {761},
year = {2023},
url = {https://eprint.iacr.org/2023/761},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AngelBCJLSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ZhongLCCCH22,
author = {Jun Zhong and
Yongfeng Liu and
Xiankai Cheng and
Liming Cai and
Weidong Cui and
Dong Hai},
title = {Gated Recurrent Unit Network for Psychological Stress Classification
Using Electrocardiograms from Wearable Devices},
journal = {Sensors},
volume = {22},
number = {22},
pages = {8664},
year = {2022},
url = {https://doi.org/10.3390/s22228664},
doi = {10.3390/S22228664},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ZhongLCCCH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/GeKC22,
author = {Xinyang Ge and
Hsuan{-}Chi Kuo and
Weidong Cui},
editor = {Heng Yin and
Angelos Stavrou and
Cas Cremers and
Elaine Shi},
title = {Hecate: Lifting and Shifting On-Premises Workloads to an Untrusted
Cloud},
booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
7-11, 2022},
pages = {1231--1242},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548606.3560592},
doi = {10.1145/3548606.3560592},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/GeKC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscid/ZhangZHJLC22,
author = {Junbin Zhang and
Dewei Zhang and
Fengwei Hou and
Wanqiu Jiang and
Pei Liu and
Weidong Cui},
title = {Research on Fault Diagnosis Technology of Model Support System based
on Feature Extraction},
booktitle = {15th International Symposium on Computational Intelligence and Design,
{ISCID} 2022, Hangzhou, China, December 17-18, 2022},
pages = {155--158},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISCID56505.2022.00042},
doi = {10.1109/ISCID56505.2022.00042},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscid/ZhangZHJLC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seed/YuGJFC22,
author = {Jiyong Yu and
Xinyang Ge and
Trent Jaeger and
Christopher W. Fletcher and
Weidong Cui},
title = {Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only
Memory},
booktitle = {2022 {IEEE} International Symposium on Secure and Private Execution
Environment Design (SEED), Storrs, CT, USA, September 26-27, 2022},
pages = {133--144},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SEED55351.2022.00019},
doi = {10.1109/SEED55351.2022.00019},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seed/YuGJFC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/GeNBCHGC21,
author = {Xinyang Ge and
Ben Niu and
Robert Brotzman and
Yaohui Chen and
HyungSeok Han and
Patrice Godefroid and
Weidong Cui},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {HyperFuzzer: An Efficient Hybrid Fuzzer for Virtual CPUs},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {366--378},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484748},
doi = {10.1145/3460120.3484748},
timestamp = {Thu, 12 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/GeNBCHGC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/GeNC20,
author = {Xinyang Ge and
Ben Niu and
Weidong Cui},
editor = {Ada Gavrilovska and
Erez Zadok},
title = {Reverse Debugging of Kernel Failures in Deployed Systems},
booktitle = {Proceedings of the 2020 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2020, July 15-17, 2020},
pages = {281--292},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/atc20/presentation/ge},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/GeNC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07205,
author = {Ivan Evtimov and
Weidong Cui and
Ece Kamar and
Emre Kiciman and
Tadayoshi Kohno and
Jerry Li},
title = {Security and Machine Learning in the Real World},
journal = {CoRR},
volume = {abs/2007.07205},
year = {2020},
url = {https://arxiv.org/abs/2007.07205},
eprinttype = {arXiv},
eprint = {2007.07205},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/LiuSMBHLMC18,
author = {Qingyun Liu and
Jack W. Stokes and
Rob Mead and
Tim Burrell and
Ian Hellen and
John Lambert and
Andrey Marochko and
Weidong Cui},
title = {Latte: Large-Scale Lateral Movement Detection},
booktitle = {2018 {IEEE} Military Communications Conference, {MILCOM} 2018, Los
Angeles, CA, USA, October 29-31, 2018},
pages = {1--6},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MILCOM.2018.8599748},
doi = {10.1109/MILCOM.2018.8599748},
timestamp = {Tue, 11 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/milcom/LiuSMBHLMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/CuiGKNSWY18,
author = {Weidong Cui and
Xinyang Ge and
Baris Kasikci and
Ben Niu and
Upamanyu Sharma and
Ruoyu Wang and
Insu Yun},
editor = {Andrea C. Arpaci{-}Dusseau and
Geoff Voelker},
title = {{REPT:} Reverse Debugging of Failures in Deployed Software},
booktitle = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018},
pages = {17--32},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/osdi18/presentation/weidong},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/CuiGKNSWY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/GeCJ17,
author = {Xinyang Ge and
Weidong Cui and
Trent Jaeger},
editor = {Yunji Chen and
Olivier Temam and
John Carter},
title = {{GRIFFIN:} Guarding Control Flows Using Intel Processor Trace},
booktitle = {Proceedings of the Twenty-Second International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2017, Xi'an, China, April 8-12, 2017},
pages = {585--598},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3037697.3037716},
doi = {10.1145/3037697.3037716},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/GeCJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KasikciCGN17,
author = {Baris Kasikci and
Weidong Cui and
Xinyang Ge and
Ben Niu},
title = {Lazy Diagnosis of In-Production Concurrency Bugs},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {582--598},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132767},
doi = {10.1145/3132747.3132767},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KasikciCGN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/HahnelCP17,
author = {Marcus H{\"{a}}hnel and
Weidong Cui and
Marcus Peinado},
editor = {Dilma Da Silva and
Bryan Ford},
title = {High-Resolution Side Channels for Untrusted Operating Systems},
booktitle = {Proceedings of the 2017 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2017, Santa Clara, CA, USA, July 12-14, 2017},
pages = {299--312},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/hahnel},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/HahnelCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CuiPCFK16,
author = {Weidong Cui and
Marcus Peinado and
Sang Kil Cha and
Yanick Fratantonio and
Vasileios P. Kemerlis},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {RETracer: triaging crashes by reverse execution from partial memory
dumps},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {820--831},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884844},
doi = {10.1145/2884781.2884844},
timestamp = {Sun, 19 Jan 2025 13:14:44 +0100},
biburl = {https://dblp.org/rec/conf/icse/CuiPCFK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/XuCP15,
author = {Yuanzhong Xu and
Weidong Cui and
Marcus Peinado},
title = {Controlled-Channel Attacks: Deterministic Side Channels for Untrusted
Operating Systems},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {640--656},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.45},
doi = {10.1109/SP.2015.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/XuCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/DoupeCJPKV13,
author = {Adam Doup{\'{e}} and
Weidong Cui and
Mariusz H. Jakubowski and
Marcus Peinado and
Christopher Kruegel and
Giovanni Vigna},
editor = {Ahmad{-}Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
title = {deDacota: toward preventing server-side {XSS} via automatic code and
data separation},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
CCS'13, Berlin, Germany, November 4-8, 2013},
pages = {1205--1216},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508859.2516708},
doi = {10.1145/2508859.2516708},
timestamp = {Tue, 10 Nov 2020 19:58:06 +0100},
biburl = {https://dblp.org/rec/conf/ccs/DoupeCJPKV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/CuiPXC12,
author = {Weidong Cui and
Marcus Peinado and
Zhilei Xu and
Ellick Chan},
editor = {Tadayoshi Kohno},
title = {Tracking Rootkit Footprints with a Practical Memory Analysis System},
booktitle = {Proceedings of the 21th {USENIX} Security Symposium, Bellevue, WA,
USA, August 8-10, 2012},
pages = {601--615},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/cui},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/CuiPXC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/KreibichWKCP11,
author = {Christian Kreibich and
Nicholas Weaver and
Chris Kanich and
Weidong Cui and
Vern Paxson},
editor = {Patrick Thiran and
Walter Willinger},
title = {{GQ:} practical containment for measuring modern malware systems},
booktitle = {Proceedings of the 11th {ACM} {SIGCOMM} Internet Measurement Conference,
{IMC} '11, Berlin, Germany, November 2-, 2011},
pages = {397--412},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2068816.2068854},
doi = {10.1145/2068816.2068854},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imc/KreibichWKCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SharifLCL09,
author = {Monirul Islam Sharif and
Wenke Lee and
Weidong Cui and
Andrea Lanzi},
editor = {Ehab Al{-}Shaer and
Somesh Jha and
Angelos D. Keromytis},
title = {Secure in-VM monitoring using hardware virtualization},
booktitle = {Proceedings of the 2009 {ACM} Conference on Computer and Communications
Security, {CCS} 2009, Chicago, Illinois, USA, November 9-13, 2009},
pages = {477--487},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1653662.1653720},
doi = {10.1145/1653662.1653720},
timestamp = {Wed, 11 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/SharifLCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WangJCN09,
author = {Zhi Wang and
Xuxian Jiang and
Weidong Cui and
Peng Ning},
editor = {Ehab Al{-}Shaer and
Somesh Jha and
Angelos D. Keromytis},
title = {Countering kernel rootkits with lightweight hook protection},
booktitle = {Proceedings of the 2009 {ACM} Conference on Computer and Communications
Security, {CCS} 2009, Chicago, Illinois, USA, November 9-13, 2009},
pages = {545--554},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1653662.1653728},
doi = {10.1145/1653662.1653728},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/WangJCN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CarboneCLLPJ09,
author = {Martim Carbone and
Weidong Cui and
Long Lu and
Wenke Lee and
Marcus Peinado and
Xuxian Jiang},
editor = {Ehab Al{-}Shaer and
Somesh Jha and
Angelos D. Keromytis},
title = {Mapping kernel objects to enable systematic integrity checking},
booktitle = {Proceedings of the 2009 {ACM} Conference on Computer and Communications
Security, {CCS} 2009, Chicago, Illinois, USA, November 9-13, 2009},
pages = {555--565},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1653662.1653729},
doi = {10.1145/1653662.1653729},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/CarboneCLLPJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/WangJCWG09,
author = {Zhi Wang and
Xuxian Jiang and
Weidong Cui and
Xinyuan Wang and
Mike Grace},
editor = {Michael Backes and
Peng Ning},
title = {ReFormat: Automatic Reverse Engineering of Encrypted Messages},
booktitle = {Computer Security - {ESORICS} 2009, 14th European Symposium on Research
in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {200--215},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04444-1\_13},
doi = {10.1007/978-3-642-04444-1\_13},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/WangJCWG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/CuiPCWI08,
author = {Weidong Cui and
Marcus Peinado and
Karl Chen and
Helen J. Wang and
Luis Ir{\'{u}}n{-}Briz},
editor = {Peng Ning and
Paul F. Syverson and
Somesh Jha},
title = {Tupni: automatic reverse engineering of input formats},
booktitle = {Proceedings of the 2008 {ACM} Conference on Computer and Communications
Security, {CCS} 2008, Alexandria, Virginia, USA, October 27-31, 2008},
pages = {391--402},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1455770.1455820},
doi = {10.1145/1455770.1455820},
timestamp = {Tue, 10 Nov 2020 19:59:27 +0100},
biburl = {https://dblp.org/rec/conf/ccs/CuiPCWI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/WangJCW08,
author = {Zhi Wang and
Xuxian Jiang and
Weidong Cui and
Xinyuan Wang},
editor = {Richard Lippmann and
Engin Kirda and
Ari Trachtenberg},
title = {Countering Persistent Kernel Rootkits through Systematic Hook Discovery},
booktitle = {Recent Advances in Intrusion Detection, 11th International Symposium,
{RAID} 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {21--38},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87403-4\_2},
doi = {10.1007/978-3-540-87403-4\_2},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/raid/WangJCW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/LivshitsC08,
author = {V. Benjamin Livshits and
Weidong Cui},
editor = {Rebecca Isaacs and
Yuanyuan Zhou},
title = {Spectator: Detection and Containment of JavaScript Worms},
booktitle = {Proceedings of the 2008 {USENIX} Annual Technical Conference, {USENIX}
{ATC} 2008, Boston, MA, USA, June 22-27, 2008. Proceedings},
pages = {335--348},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/usenix08/tech/full\_papers/livshits/livshits.pdf},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/LivshitsC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/CuiPWL07,
author = {Weidong Cui and
Marcus Peinado and
Helen J. Wang and
Michael E. Locasto},
title = {ShieldGen: Automatic Data Patch Generation for Unknown Vulnerabilities
with Informed Probing},
booktitle = {2007 {IEEE} Symposium on Security and Privacy (S{\&}P 2007), 20-23
May 2007, Oakland, California, {USA}},
pages = {252--266},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SP.2007.34},
doi = {10.1109/SP.2007.34},
timestamp = {Thu, 21 Sep 2023 15:57:31 +0200},
biburl = {https://dblp.org/rec/conf/sp/CuiPWL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/CuiKW07,
author = {Weidong Cui and
Jayanthkumar Kannan and
Helen J. Wang},
editor = {Niels Provos},
title = {Discoverer: Automatic Protocol Reverse Engineering from Network Traces},
booktitle = {Proceedings of the 16th {USENIX} Security Symposium, Boston, MA, USA,
August 6-10, 2007},
publisher = {{USENIX} Association},
year = {2007},
url = {https://www.usenix.org/conference/16th-usenix-security-symposium/discoverer-automatic-protocol-reverse-engineering-network},
timestamp = {Mon, 01 Feb 2021 08:43:02 +0100},
biburl = {https://dblp.org/rec/conf/uss/CuiKW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/CuiPWK06,
author = {Weidong Cui and
Vern Paxson and
Nicholas Weaver and
Randy H. Katz},
title = {Protocol-Independent Adaptive Replay of Application Dialog},
booktitle = {Proceedings of the Network and Distributed System Security Symposium,
{NDSS} 2006, San Diego, California, {USA}},
publisher = {The Internet Society},
year = {2006},
url = {https://www.ndss-symposium.org/ndss2006/protocol-independent-adaptive-replay-application-dialog/},
timestamp = {Mon, 01 Feb 2021 08:42:22 +0100},
biburl = {https://dblp.org/rec/conf/ndss/CuiPWK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/CuiKT05,
author = {Weidong Cui and
Randy H. Katz and
Wai{-}tian Tan},
title = {Design and Implementation of an Extrusion-based Break-In Detector
for Personal Computers},
booktitle = {21st Annual Computer Security Applications Conference {(ACSAC} 2005),
5-9 December 2005, Tucson, AZ, {USA}},
pages = {361--370},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSAC.2005.19},
doi = {10.1109/CSAC.2005.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsac/CuiKT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/CuiKT05,
author = {Weidong Cui and
Randy H. Katz and
Wai{-}tian Tan},
title = {{BINDER:} An Extrusion-Based Break-In Detector for Personal Computers},
booktitle = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
10-15, 2005, Anaheim, CA, {USA}},
pages = {363--366},
publisher = {{USENIX}},
year = {2005},
url = {http://www.usenix.org/events/usenix05/tech/general/cui.html},
timestamp = {Tue, 16 Jul 2024 09:12:32 +0200},
biburl = {https://dblp.org/rec/conf/usenix/CuiKT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/CuiSK02,
author = {Weidong Cui and
Ion Stoica and
Randy H. Katz},
title = {Backup Path Allocation Based on a Correlated Link Failure Probability
Model in Overlay Networks},
booktitle = {10th {IEEE} International Conference on Network Protocols {(ICNP}
2002), 12-15 November 2002, Paris, France, Proceedings},
pages = {236},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICNP.2002.1181411},
doi = {10.1109/ICNP.2002.1181411},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/CuiSK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pervasive/RamanACCCJLLMMPRSSSSSZJKS02,
author = {Bhaskaran Raman and
Sharad Agarwal and
Yan Chen and
Matthew Caesar and
Weidong Cui and
Per Johansson and
Kevin Lai and
Tal Lavian and
Sridhar Machiraju and
Zhuoqing Morley Mao and
George Porter and
Timothy Roscoe and
Mukund Seshadri and
Jimmy S. Shih and
Keith Sklower and
Lakshminarayanan Subramanian and
Takashi Suzuki and
Shelley Zhuang and
Anthony D. Joseph and
Randy H. Katz and
Ion Stoica},
editor = {Friedemann Mattern and
Mahmoud Naghshineh},
title = {The {SAHARA} Model for Service Composition across Multiple Providers},
booktitle = {Pervasive Computing, First International Conference, Pervasive 2002,
Z{\"{u}}rich, Switzerland, August 26-28, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {1--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45866-2\_1},
doi = {10.1007/3-540-45866-2\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pervasive/RamanACCCJLLMMPRSSSSSZJKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-26 23:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: