From Debugging-Information Based Binary-Level Type Inference to CFG Generation. - Dongrui Zeng; Gang Tan (CODASPY, 2018)

Program-mandering: Quantitative Privilege Separation. - Shen Liu 002; Dongrui Zeng; Yongzhe Huang; Frank Capobianco; Stephen McCamant; Trent Jaeger; Gang Tan (CCS, 2019)

ReCFA: Resilient Control-Flow Attestation. - Yumei Zhang; Xinzhi Liu; Cong Sun 001; Dongrui Zeng; Gang Tan; Xiao Kan; Siqi Ma (ACSAC, 2021)

Refining Indirect Call Targets at the Binary Level. - Sun Hyoung Kim; Cong Sun 001; Dongrui Zeng; Gang Tan (NDSS, 2021)

MazeRunner: Evaluating the Attack Surface of Control-Flow Integrity Policies. - Dongrui Zeng; Ben Niu 007; Gang Tan (TrustCom, 2021)

CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis. - Cong Sun 001; Xinpeng Xu; Yafei Wu; Dongrui Zeng; Gang Tan; Siqi Ma (CoRR, 2021)

BinPointer: towards precise, sound, and scalable binary-level pointer analysis. - Sun Hyoung Kim; Dongrui Zeng; Cong Sun 001; Gang Tan (CC, 2022)

DeepCatra: Learning Flow- and Graph-based Behaviors for Android Malware Detection. - Yafei Wu; Jian Shi; Peicheng Wang; Dongrui Zeng; Cong Sun 001 (CoRR, 2022)

LibScan: Towards More Precise Third-Party Library Identification for Android Applications. - Yafei Wu; Cong Sun 001; Dongrui Zeng; Gang Tan; Siqi Ma; Peicheng Wang (USENIX Security Symposium, 2023)

μDep: Mutation-Based Dependency Generation for Precise Taint Analysis on Android Native Code. - Cong Sun 001; Yuwan Ma; Dongrui Zeng; Gang Tan; Siqi Ma; Yafei Wu (IEEE Trans. Dependable Secur. Comput., 2023)

DeepCatra: Learning flow- and graph-based behaviours for Android malware detection. - Yafei Wu; Jian Shi; Peicheng Wang; Dongrui Zeng; Cong Sun 001 (IET Inf. Secur., 2023)

CryptoEval: Evaluating the risk of cryptographic misuses in Android apps with data-flow analysis. - Cong Sun 001; Xinpeng Xu; Yafei Wu; Dongrui Zeng; Gang Tan; Siqi Ma; Peicheng Wang (IET Inf. Secur., 2023)

ABSLearn: a GNN-based framework for aliasing and buffer-size information retrieval. - Ke Liang 006; Jim Tan; Dongrui Zeng; Yongzhe Huang; Xiaolei Huang; Gang Tan (Pattern Anal. Appl., 2023)

Sliver: A Scalable Slicing-Based Verification for Information Flow Security. - Xue Rao; Cong Sun 001; Dongrui Zeng; Yongzhe Huang; Gang Tan (IEEE Trans. Dependable Secur. Comput., 2025)

Disa: Accurate Learning-based Static Disassembly with Attentions. - Peicheng Wang; Monika Santra; Mingyu Liu; Cong Sun; Dongrui Zeng; Gang Tan (CoRR, 2025)