TaintPipe: Pipelined Symbolic Taint Analysis. - Jiang Ming 002; Dinghao Wu; Gaoyao Xiao; Jun Wang 141; Peng Liu 005 (USENIX Security Symposium, 2015)

Program-object Level Data Flow Analysis with Applications to Data Leakage and Contamination Forensics. - Gaoyao Xiao; Jun Wang 141; Peng Liu 005; Jiang Ming 002; Dinghao Wu (CODASPY, 2016)

StraightTaint: decoupled offline symbolic taint analysis. - Jiang Ming 002; Dinghao Wu; Jun Wang 141; Gaoyao Xiao; Peng Liu 005 (ASE, 2016)