A Value Set Analysis Refinement Approach Based on Conditional Merging and Lazy Constraint Solving. - Jian Lin 007; Liehui Jiang; Yisen Wang 002; Weiyu Dong (IEEE Access, 2019)

A Dynamic Taint Analysis Framework Based on Entity Equipment. - Yuzhu Ren; Weiyu Dong; Jian Lin 007; Xinliang Miao (IEEE Access, 2019)

Staged Method of Code Similarity Analysis for Firmware Vulnerability Detection. - Yisen Wang 002; Jianjing Shen; Jian Lin 007; Rui Lou (IEEE Access, 2019)

A Shape-inference-based Approach to Enhance Constraint Independence Optimization. - Jian Lin 007; Liehui Jiang; Chengwei Ai; Shihong Chao (ICCSP, 2020)

Dynamic Instrumentation Framework Based on Entity Equipment. - Jiangtao Zhao; Weiyu Dong; Haotian Zhang; Jian Lin 007 (ICCCS, 2021)

A Partial-Lifting-Based Compiling Concolic Execution Approach. - Haotian Zhang; Weiyu Dong; Jian Lin 007 (CSP, 2021)

CaDeCFF: Compiler-Agnostic Deobfuscator of Control Flow Flattening. - Weiyu Dong; Jian Lin 007; Rui Chang; Ruimin Wang (Internetware, 2022)

EnBinDiff: Identifying Data-Only Patches for Binaries. - Jian Lin 007; Dingding Wang 003; Rui Chang; Lei Wu 012; Yajin Zhou; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2023)