Limiting Privacy Breaches in Average-Distance Query.
Secur. Commun. Networks, 2020
Differentially Private Geo-Social Ranking.
Proceedings of the 5th International Conference on Big Data Computing and Communications, 2019
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
Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016