Canalyze: a static bug-finding tool for C programs. - Zhenbo Xu; Jian Zhang; Zhongxing Xu; Jiteng Wang (ISSTA, 2014)

A New Approach to Security Analysis of Wireless Sensor Networks for Smart Home Systems. - Miao Zhang; Yang Liu 133; Jiteng Wang; Yangyu Hu (INCoS, 2016)

A New Approach to Security Analysis of Smart Home Authentication Systems. - Miao Zhang; Chenyu Wang 002; Jiteng Wang; Si Tian; Yanwei Li (Fundam. Informaticae, 2018)