Systematic Analysis and Detection of Misconfiguration Vulnerabilities in Android Smartphones. - Zhihui Han; Liang Cheng 004; Yang Zhang 021; Shuke Zeng; Yi Deng 002; Xiaoshan Sun (TrustCom, 2014)

Improving Accuracy of Static Integer Overflow Detection in Binary. - Yang Zhang 021; Xiaoshan Sun; Yi Deng 002; Liang Cheng 004; Shuke Zeng; Yu Fu; Dengguo Feng (RAID, 2015)