Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus. - Caimei Wang; Yan Xiong 001; Wenchao Huang 001; Huihua Xia; Jianmeng Huang (Trustcom/BigDataSE/ISPA, 2016)

A Verified Secure Protocol Model of OAuth Dynamic Client Registration. - Caimei Wang; Yan Xiong 001; Wenchao Huang 001; Huihua Xia; Jianmeng Huang; Cheng Su (BigCom, 2017)

A General Formal Framework of Analyzing Selective Disclosure Attribute-Based Credential Systems. - Caimei Wang; Yan Xiong 001; Wenjuan Cheng; Wenchao Huang 001; Huihua Xia; Jianmeng Huang (Int. J. Netw. Secur., 2017)

Differentially Private Geo-Social Ranking. - Huihua Xia; Wenchao Huang 001; Yan Xiong 001 (BigCom, 2019)

Limiting Privacy Breaches in Average-Distance Query. - Huihua Xia; Yan Xiong 001; Wenchao Huang 001; Zhaoyi Meng; Fuyou Miao 001 (Secur. Commun. Networks, 2020)