Computationally Sound Symbolic Analysis of EAP-TNC Protocol. - Zijian Zhang 001; Liehuang Zhu; Feng Wang; Lejian Liao; Cong Guo 001; Hongyuan Wang (INTRUST, 2011)

Enhanced Privacy Preserving Pattern-Code Based Data Aggregation in Wireless Sensor Networks. - Bernard Ntirenganya; Zijian Zhang 001; Liehuang Zhu; Yu-an Tan 001; Zhen Yang 003; Cong Guo 001 (MSN, 2013)

An Efficient Confidentiality and Integrity Preserving Aggregation Protocol in Wireless Sensor Networks. - Liehuang Zhu; Zhen Yang 003; Jingfeng Xue; Cong Guo 001 (Int. J. Distributed Sens. Networks, 2014)

Scalable protocol for cross-domain group password-based authenticated key exchange. - Cong Guo 001; Zijian Zhang 001; Liehuang Zhu; Yu-an Tan 001; Zhen Yang 003 (Frontiers Comput. Sci., 2015)

A Novel Contributory Cross-Domain Group Password-Based Authenticated Key Exchange Protocol with Adaptive Security. - Liehuang Zhu; Cong Guo 001; Zijian Zhang 001; Wei Fu; Rixin Xu (DSC, 2017)