Jianmeng Huang

A General Formal Framework of Analyzing Selective Disclosure Attribute-Based Credential Systems

Wenchao Huang, Wenjuan Cheng, Yan Xiong, 2017, Int. J. Netw. Secur..

Automatically Detecting Malicious Sensitive Data Usage in Android Applications

Wenchao Huang, Yan Xiong, Zhaoyi Meng, 2018, 2018 4th International Conference on Big Data Computing and Communications (BIGCOM).

Formal Analysis of Selective Disclosure Attribute-Based Credential System in Applied Pi Calculus

Wenchao Huang, Yan Xiong, Caimei Wang, 2016, 2016 IEEE Trustcom/BigDataSE/ISPA.

Divide and Conquer: Recovering Contextual Information of Behaviors in Android Apps Around Limited-Quantity Audit Logs

Wenchao Huang, Fuyou Miao, Taeho Jung, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

Thermo-mechanical Research on Frictional Sliding between Elasto-plastic Rough Solid and Rigid Flat

Jianmeng Huang, 2011 .

Identifying Superfluous Network Transmissions in Android Applications

Wenchao Huang, Fuyou Miao, Yan Xiong, 2018, 2018 4th International Conference on Big Data Computing and Communications (BIGCOM).

A Verified Secure Protocol Model of OAuth Dynamic Client Registration

Wenchao Huang, Yan Xiong, Caimei Wang, 2017, 2017 3rd International Conference on Big Data Computing and Communications (BIGCOM).

Numerical modeling and analysis of the thermal-structure coupling of the disc brake

Jianmeng Huang, Jianmeng Huang, 2008 .

Detecting Stubborn Permission Requests in Android Applications

Wenchao Huang, Fuyou Miao, Yan Xiong, 2018, 2018 4th International Conference on Big Data Computing and Communications (BIGCOM).

Stress analysis of thermal fatigue fracture of brake disks based on thermomechanical coupling

Chenghui Gao, Xiezhao Lin, Jianmeng Huang, 2007 .