JavaScript Malicious Codes Analysis Based on Naive Bayes Classification. - Yongle Hao; Hongliang Liang; Daijie Zhang; Qian Zhao; Baojiang Cui (3PGCIC, 2014)

A Lightweight Security Isolation Approach for Virtual Machines Deployment. - Hongliang Liang; Changyao Han; Daijie Zhang; Dongyang Wu (Inscrypt, 2014)

PAPDroid: Personalization Awareness Privacy Protection in Android. - Hongliang Liang; Dongyang Wu; Yan Song; Daijie Zhang; Lingqing Xia (IIKI, 2015)

A Correctness Verification Method for C Programs Based on VCC. - Hongliang Liang; Daijie Zhang; Xiaoxiao Pei; Xiaodong Jia; Guangyuan Li; Jiuyun Xu (CSCloud, 2016)

Verifying RTuinOS using VCC: From approach to practice. - Hongliang Liang; Daijie Zhang; Xiaodong Jia; Xiaoxiao Pei; Guangyuan Li (SNPD, 2016)