📝 Publications

  • Yin Wang, Ming Fan, Junfeng Liu, Junjie Tao, Wuxia Jin, Haijun Wang, Qi Xiong, Ting Liu. Do as You Say: Consistency Detection of Data Practice in Program Code and Privacy Policy in Mini-App. IEEE Transactions on Software Engineering (IEEE TSE) , vol. 50, issue 10, pp. 3225–3248, 2024. (CCF A)
  • Yin Wang, Ming Fan, Hao Zhou, Haijun Wang, Wuxia Jin, Jiajia Li, Wenbo Chen, Shijie Li, Yu Zhang, Deqiang Han, Ting Liu. MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs. The 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), pp. 1667–1679, 2024. (CCF A, Distinguished Paper Award)
  • 王寅, 范铭, 陶俊杰, 雷靖薏, 晋武侠, 韩德强, 刘烃. 移动应用隐私权声明内容合规性检验方法. 软件学报 , 35(8): 3668–3683, 2024. (CCF A)
  • Ming Fan, Jifei Shi, Yin Wang, Le Yu, Xicheng Zhang, Haijun Wang, Wuxia Jin, Ting Liu. Giving without Notifying: Assessing Compliance of Data Transmission in Android Apps. The 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), pp. 1595–1606, 2024. (CCF A)
  • Yin Wang, Ming Fan, Xicheng Zhang, Jifei Shi, Zhaoyu Qiu, Haijun Wang, Ting Liu. LiReDroid: LLM-Enhanced Test Case Generation for Static Sensitive Behavior Replication. Proceedings of the 15th Asia-Pacific Symposium on Internetware (Internetware 2024), pp. 81–84, 2024.
  • Ziqiang Yan, Ming Fan, Yin Wang, Jifei Shi, Haoran Wang, Ting Liu. MUID: Detecting Sensitive User Inputs in Miniapp Ecosystems. Proceedings of the 2023 ACM Workshop on Secure and Trustworthy Superapps (SaTS’23) , pp. 17–21, 2023. (Distinguished Paper Award).
  • Xi Xu, Ming Fan, Ang Jia, Yin Wang, Zheng Yan, Qinghua Zheng, Ting Liu. Revisiting the Challenges and Opportunities in Software Plagiarism Detection. 27th IEEE International Conference on Software Analysis, Evolution and Reengineering Early Research Achievement Track (SANER-ERA), pp. 537–541, 2020. (CCF B).

✍️ Patents

  • 2026.01.02 范铭，石吉飞，王寅，鄢子强，陶俊杰，刘峻峰，晋武侠，刘烃. 一种面向小程序的第三方库检测方法. ZL 2023 1 0043849.6.
  • 2025.09.26 范铭，刘峻峰，陶俊杰，石吉飞，鄢子强，王寅，晋武侠，刘烃. 面向小程序的一种静态污点数据流分析方法. ZL 2023 1 0133974.6.
  • 2025.06.30 范铭，鄢子强，王寅，石吉飞，刘峻峰，陶俊杰，刘烃，晋武侠. 一种基于复杂网络分析的小程序克隆检测方法. ZL 2023 1 0045745.9.
  • 2021.09.07 范铭，王寅，刘烃. 面向隐私保护政策的APP隐私数据一致性行为分析方法. ZL 2020 1 0943501.9