2020
Limiting Privacy Breaches in Average-Distance Query.
Secur. Commun. Networks, 2020

2019
Differentially Private Geo-Social Ranking.
Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019

2017
A General Formal Framework of Analyzing Selective Disclosure Attribute-Based Credential Systems.
Int. J. Netw. Secur., 2017

A Verified Secure Protocol Model of OAuth Dynamic Client Registration.
Proceedings of the 3rd International Conference on Big Data Computing and Communications, 2017

2016
Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016