Selected Publications
Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors
in Rust
Ying Zhang, Peng Li, Yu Ding, Wang Lingxiang, Dan Williams, and Na Meng
46th International Conference on Software Engineering (ICSE), SEIP, 2024
MASTERKEY: Automated Jailbreak Across Multiple Large Language Model Chatbots [link to paper]
Gelei Deng, Yi Liu, Yuekang Li, Kailong Wang, Ying Zhang, Zefeng Li, Haoyu Wang, Tianwei Zhang, and Yang Liu
The Network and Distributed System Security Symposium (NDSS)2024
Example-Based Vulnerability Detection and Repair in Java Code [link to paper]
Ying Zhang, Ya Xiao, Mahir Kabir, Danfeng (Daphne)Yao, and Na Meng
30th IEEE/ACM International Conference on Program Comprehension (ICPC) 2022
Automatic Detection of Java Cryptographic API Misuses: Are We There Yet? [link to paper]
Ying Zhang, Mahir Kabir, Ya Xiao, Danfeng (Daphne)Yao, and Na Meng
Transactions on Software Engineering (TSE) 2022
Data-Driven Vulnerability Detection and Repair in Java Code [link to paper]
Ying Zhang, Mahir Kabir, Ya Xiao, Danfeng (Daphne)Yao, and Na Meng
RWS - A Roulette Wheel Scheduler For Preventing Execution Pattern Leakage [link to paper]
Ying Zhang, Lingxiang Wang, Wei Jiang, and Zhishan Guo
Proceedings of the 24th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), BP Session, Porto, Portugal, 2018.