1. Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system;Software Quality Journal;2024-06-27
2. LLM Security Guard for Code;Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering;2024-06-18
3. A comprehensive framework for inter-app ICC security analysis of Android apps;Automated Software Engineering;2024-06-04
4. API Governance at Scale;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14
5. PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention;2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2023-11-14