CPC: Automatically classifying and propagating natural language comments via program analysis J Zhai, X Xu, Y Shi, G Tao, M Pan, S Ma, L Xu, W Zhang, L Tan, X Zhang Proceedings of the ACM/IEEE 42nd International conference on software …, 2020 | 46 | 2020 |
Detecting backdoors in pre-trained encoders S Feng, G Tao, S Cheng, G Shen, X Xu, Y Liu, K Zhang, S Ma, X Zhang Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2023 | 27 | 2023 |
CompCertELF: verified separate compilation of C programs into ELF object files Y Wang, X Xu, P Wilke, Z Shao Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 16 | 2020 |
Beagle: Forensics of deep learning backdoor attack for better defense S Cheng, G Tao, Y Liu, S An, X Xu, S Feng, G Shen, K Zhang, Q Xu, S Ma, ... arXiv preprint arXiv:2301.06241, 2023 | 9 | 2023 |
Zian Su, Nan Jiang, Siyuan Cheng, Lin Tan, and Xiangyu Zhang. 2023. LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis X Xu arXiv preprint arXiv:2306.02546, 2023 | 8 | 2023 |
Nova: Generative Language Models for Binaries N Jiang, C Wang, K Liu, X Xu, L Tan, X Zhang arXiv preprint arXiv:2311.13721, 2023 | 6 | 2023 |
Improving binary code similarity transformer models by semantics-driven instruction deemphasis X Xu, S Feng, Y Ye, G Shen, Z Su, S Cheng, G Tao, Q Shi, Z Zhang, ... Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 6 | 2023 |
Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, and Xiangyu Zhang. 2023 X Xu, S Feng, Y Ye, G Shen Improving Binary Code Similarity Transformer Models by Semantics-Driven …, 2023 | 6 | 2023 |
Lmpa: Improving decompilation by synergy of large language model and program analysis X Xu, Z Zhang, S Feng, Y Ye, Z Su, N Jiang, S Cheng, L Tan, X Zhang arXiv preprint arXiv:2306.02546, 2023 | 5 | 2023 |
Automatic generation and validation of instruction encoders and decoders X Xu, J Wu, Y Wang, Z Yin, P Li Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 5 | 2021 |
Extracting protocol format as state machine via controlled static loop analysis Q Shi, X Xu, X Zhang 32nd USENIX Security Symposium (USENIX Security 23), 7019-7036, 2023 | 2 | 2023 |
Checkpointing and deterministic training for deep learning X Xu, H Liu, G Tao, Z Xuan, X Zhang Proceedings of the 1st International Conference on AI Engineering: Software …, 2022 | 2 | 2022 |
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking Z Su, X Xu, Z Huang, Z Zhang, Y Ye, J Huang, X Zhang arXiv preprint arXiv:2402.11842, 2024 | 1 | 2024 |
Lotus: Evasive and resilient backdoor attacks through sub-partitioning S Cheng, G Tao, Y Liu, G Shen, S An, S Feng, X Xu, K Zhang, S Ma, ... Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2024 | 1 | 2024 |
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model X Xu, Z Xuan, S Feng, S Cheng, Y Ye, Q Shi, G Tao, L Yu, Z Zhang, ... Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 1 | 2023 |
Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases Z Su, X Xu, Z Huang, K Zhang, X Zhang arXiv preprint arXiv:2405.19581, 2024 | | 2024 |
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers M Zheng, Q Shi, X Liu, X Xu, L Yu, C Liu, G Wei, X Zhang Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1208-1234, 2024 | | 2024 |
ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation A Zhou, Y Hu, X Xu, C Zhang ACM Transactions on Software Engineering and Methodology 33 (4), 1-31, 2024 | | 2024 |
When Dataflow Analysis Meets Large Language Models C Wang, W Zhang, Z Su, X Xu, X Xie, X Zhang arXiv preprint arXiv:2402.10754, 2024 | | 2024 |
ODSCAN: Backdoor Scanning for Object Detection Models S Cheng, G Shen, G Tao, K Zhang, Z Zhang, S An, X Xu, Y Liu, S Ma, ... 2024 IEEE Symposium on Security and Privacy (SP), 118-118, 2024 | | 2024 |