Probabilistic disassembly. - Kenneth A. Miller; Yonghwi Kwon 001; Yi Sun 004; Zhuo Zhang 002; Xiangyu Zhang 001; Zhiqiang Lin 001 (ICSE, 2019)

BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation. - Zhuo Zhang 002; Wei You 001; Guanhong Tao 001; Guannan Wei 001; Yonghwi Kwon 001; Xiangyu Zhang 001 (Proc. ACM Program. Lang., 2019)

PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning. - Wei You 001; Zhuo Zhang 002; Yonghwi Kwon 001; Yousra Aafer; Fei Peng; Yu Shi; Carson Harmon; Xiangyu Zhang 001 (SP, 2020)

NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces. - Yapeng Ye; Zhuo Zhang 002; Fei Wang 046; Xiangyu Zhang 001; Dongyan Xu (NDSS, 2021)

ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation. - Le Yu; Shiqing Ma; Zhuo Zhang 002; Guanhong Tao 001; Xiangyu Zhang 001; Dongyan Xu; Vincent E. Urias; Han Wei Lin; Gabriela F. Ciocarlie; Vinod Yegneswaran; Ashish Gehani (NDSS, 2021)

StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting. - Zhuo Zhang 002; Wei You 001; Guanhong Tao 001; Yousra Aafer; Xuwei Liu; Xiangyu Zhang 001 (SP, 2021)

OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary. - Zhuo Zhang 002; Yapeng Ye; Wei You 001; Guanhong Tao 001; Wen-Chuan Lee; Yonghwi Kwon 001; Yousra Aafer; Xiangyu Zhang 001 (SP, 2021)

Poirot: Probabilistically Recommending Protections for the Android Framework. - Zeinab El-Rewini; Zhuo Zhang 002; Yousra Aafer (CCS, 2022)

Constrained Optimization with Dynamic Bound-scaling for Effective NLP Backdoor Defense. - Guangyu Shen; Yingqi Liu; Guanhong Tao 001; Qiuling Xu; Zhuo Zhang 002; Shengwei An; Shiqing Ma; Xiangyu Zhang 001 (ICML, 2022)

TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. - Xuwei Liu; Wei You 001; Zhuo Zhang 002; Xiangyu Zhang 001 (ISSTA, 2022)

Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security. - Guanhong Tao 001; Yingqi Liu; Guangyu Shen; Qiuling Xu; Shengwei An; Zhuo Zhang 002; Xiangyu Zhang 001 (SP, 2022)

Constrained Optimization with Dynamic Bound-scaling for Effective NLPBackdoor Defense. - Guangyu Shen; Yingqi Liu; Guanhong Tao 001; Qiuling Xu; Zhuo Zhang 002; Shengwei An; Shiqing Ma; Xiangyu Zhang 001 (CoRR, 2022)

DECK: Model Hardening for Defending Pervasive Backdoors. - Guanhong Tao 001; Yingqi Liu; Siyuan Cheng 005; Shengwei An; Zhuo Zhang 002; Qiuling Xu; Guangyu Shen; Xiangyu Zhang 001 (CoRR, 2022)

Backdoor Vulnerabilities in Normally Trained Deep Learning Models. - Guanhong Tao 001; Zhenting Wang; Siyuan Cheng 005; Shiqing Ma; Shengwei An; Yingqi Liu; Guangyu Shen; Zhuo Zhang 002; Yunshu Mao; Xiangyu Zhang 001 (CoRR, 2022)

Demystifying Exploitable Bugs in Smart Contracts. - Zhuo Zhang 002; Brian Zhang; Wen Xu; Zhiqiang Lin 001 (ICSE, 2023)

Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. - Xiangzhe Xu; Shiwei Feng 002; Yapeng Ye; Guangyu Shen; Zian Su; Siyuan Cheng 005; Guanhong Tao 001; Qingkai Shi; Zhuo Zhang 002; Xiangyu Zhang 001 (ISSTA, 2023)

ParaFuzz: An Interpretability-Driven Technique for Detecting Poisoned Samples in NLP. - Lu Yan; Zhuo Zhang 002; Guanhong Tao 001; Kaiyuan Zhang 002; Xuan Chen; Guangyu Shen; Xiangyu Zhang 001 (NeurIPS, 2023)

PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. - Xiangzhe Xu; Zhou Xuan; Shiwei Feng 002; Siyuan Cheng 005; Yapeng Ye; Qingkai Shi; Guanhong Tao 001; Le Yu; Zhuo Zhang 002; Xiangyu Zhang 001 (ESEC/SIGSOFT FSE, 2023)

D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling. - Yapeng Ye; Zhuo Zhang 002; Qingkai Shi; Yousra Aafer; Xiangyu Zhang 001 (SP, 2023)

Your Exploit is Mine: Instantly Synthesizing Counterattack Smart Contract. - Zhuo Zhang 002; Zhiqiang Lin 001; Marcelo Morales; Xiangyu Zhang 001; Kaiyuan Zhang 002 (USENIX Security Symposium, 2023)

PELICAN: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis. - Zhuo Zhang 002; Guanhong Tao 001; Guangyu Shen; Shengwei An; Qiuling Xu; Yingqi Liu; Yapeng Ye; Yaoxuan Wu; Xiangyu Zhang 001 (USENIX Security Symposium, 2023)

LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis. - Xiangzhe Xu; Zhuo Zhang 002; Shiwei Feng 002; Yapeng Ye; Zian Su; Nan Jiang 012; Siyuan Cheng 005; Lin Tan 001; Xiangyu Zhang 001 (CoRR, 2023)

Make Them Spill the Beans! Coercive Knowledge Extraction from (Production) LLMs. - Zhuo Zhang 002; Guangyu Shen; Guanhong Tao 001; Siyuan Cheng 005; Xiangyu Zhang 001 (CoRR, 2023)

Revamping Binary Analysis with Sampling and Probabilistic Inference - Zhuo Zhang 002 (2023)

Exploring Inherent Backdoors in Deep Learning Models. - Guanhong Tao 001; Siyuan Cheng 005; Zhenting Wang; Shiqing Ma; Shengwei An; Yingqi Liu; Guangyu Shen; Zhuo Zhang 002; Yunshu Mao; Xiangyu Zhang 001 (ACSAC, 2024)

ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries. - Danning Xie; Zhuo Zhang 002; Nan Jiang 012; Xiangzhe Xu; Lin Tan 001; Xiangyu Zhang 001 (CCS, 2024)

Threat Behavior Textual Search by Attention Graph Isomorphism. - Chanwoo Bae; Guanhong Tao 001; Zhuo Zhang 002; Xiangyu Zhang 001 (EACL (1), 2024)

FuzzInMem: Fuzzing Programs via In-memory Structures. - Xuwei Liu; Wei You 001; Yapeng Ye; Zhuo Zhang 002; Jianjun Huang 001; Xiangyu Zhang 001 (ICSE, 2024)

Define-Use Guided Path Exploration for Better Forced Execution. - Dongnan He; Dongchen Xie; Yujie Wang; Wei You 001; Bin Liang 002; Jianjun Huang 001; Wenchang Shi; Zhuo Zhang 002; Xiangyu Zhang 001 (ISSTA, 2024)

BiScope: AI-generated Text Detection by Checking Memorization of Preceding Tokens. - Hanxi Guo; Siyuan Cheng 005; Xiaolong Jin 002; Zhuo Zhang 002; Kaiyuan Zhang 002; Guanhong Tao 001; Guangyu Shen; Xiangyu Zhang 001 (NeurIPS, 2024)

Detecting Bugs with Substantial Monetary Consequences by LLM and Rule-based Reasoning. - Brian Zhang; Zhuo Zhang 002 (NeurIPS, 2024)

OdScan: Backdoor Scanning for Object Detection Models. - Siyuan Cheng 005; Guangyu Shen; Guanhong Tao 001; Kaiyuan Zhang 002; Zhuo Zhang 002; Shengwei An; Xiangzhe Xu; Yingqi Li; Shiqing Ma; Xiangyu Zhang 001 (SP, 2024)

On Large Language Models' Resilience to Coercive Interrogation. - Zhuo Zhang 002; Guangyu Shen; Guanhong Tao 001; Siyuan Cheng 005; Xiangyu Zhang 001 (SP, 2024)

Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts. - Wuqi Zhang; Zhuo Zhang 002; Qingkai Shi; Lu Liu; Lili Wei 001; Yepang Liu 001; Xiangyu Zhang 001; Shing-Chi Cheung (SP, 2024)

Cost-effective Attack Forensics by Recording and Correlating File System Changes. - Le Yu; Yapeng Ye; Zhuo Zhang 002; Xiangyu Zhang 001 (USENIX Security Symposium, 2024)

Opening A Pandora's Box: Things You Should Know in the Era of Custom GPTs. - Guanhong Tao 001; Siyuan Cheng 005; Zhuo Zhang 002; Junmin Zhu; Guangyu Shen; Xiangyu Zhang 001 (CoRR, 2024)

MULTIVERSE: Exposing Large Language Model Alignment Problems in Diverse Worlds. - Xiaolong Jin 002; Zhuo Zhang 002; Xiangyu Zhang 001 (CoRR, 2024)

Rapid Optimization for Jailbreaking LLMs via Subconscious Exploitation and Echopraxia. - Guangyu Shen; Siyuan Cheng 005; Kaiyuan Zhang 002; Guanhong Tao 001; Shengwei An; Lu Yan; Zhuo Zhang 002; Shiqing Ma; Xiangyu Zhang 001 (CoRR, 2024)

ASPIRER: Bypassing System Prompts With Permutation-based Backdoors in LLMs. - Lu Yan; Siyuan Cheng 005; Xuan Chen; Kaiyuan Zhang 002; Guangyu Shen; Zhuo Zhang 002; Xiangyu Zhang 001 (CoRR, 2024)

Consolidating Smart Contracts with Behavioral Contracts. - Guannan Wei 001; Danning Xie; Wuqi Zhang; Yongwei Yuan; Zhuo Zhang 002 (Proc. ACM Program. Lang., 2024)

CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. - Zian Su; Xiangzhe Xu; Ziyang Huang; Zhuo Zhang 002; Yapeng Ye; Jianjun Huang 001; Xiangyu Zhang 001 (Proc. ACM Softw. Eng., 2024)

An Empirical Study of Proxy Contracts at the Ethereum Ecosystem Scale. - Mengya Zhang; Preksha Shukla; Wuqi Zhang; Zhuo Zhang 002; Pranav Agrawal 002; Zhiqiang Lin 001; Xiangyu Zhang 001; Xiaokuan Zhang (ICSE, 2025)

Unleashing the Power of Generative Model in Recovering Variable Names from Stripped Binary. - Xiangzhe Xu; Zhuo Zhang 002; Zian Su; Ziyang Huang; Shiwei Feng 002; Yapeng Ye; Nan Jiang 012; Danning Xie; Siyuan Cheng 005; Lin Tan 001; Xiangyu Zhang 001 (NDSS, 2025)

A Systematic Threat Modeling of LLM Applications. - Guanhong Tao 001; Siyuan Cheng 005; Zhuo Zhang 002; Junmin Zhu; Guangyu Shen; Wanjing Han; Mu Zhang 001; Xiangyu Zhang 001 (SIGSOFT FSE Companion, 2025)

BAIT: Large Language Model Backdoor Scanning by Inverting Attack Target. - Guangyu Shen; Siyuan Cheng 005; Zhuo Zhang 002; Guanhong Tao 001; Kaiyuan Zhang 002; Hanxi Guo; Lu Yan; Xiaolong Jin 002; Shengwei An; Shiqing Ma; Xiangyu Zhang 001 (SP, 2025)

MGC: A Compiler Framework Exploiting Compositional Blindness in Aligned LLMs for Malware Generation. - Lu Yan; Zhuo Zhang 002; Xiangzhe Xu; Shengwei An; Guangyu Shen; Zhou Xuan; Xuan Chen; Xiangyu Zhang 001 (CoRR, 2025)

ASTRA: Autonomous Spatial-Temporal Red-teaming for AI Software Assistants. - Xiangzhe Xu; Guangyu Shen; Zian Su; Siyuan Cheng 005; Hanxi Guo; Lu Yan; Xuan Chen; Jiasheng Jiang; Xiaolong Jin 002; Chengpeng Wang 001; Zhuo Zhang 002; Xiangyu Zhang 001 (CoRR, 2025)