A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System. - Amirhosein Sayyadabdi (CoRR, 2022)

Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. - Amirhosein Sayyadabdi; Behrouz Tork Ladani; Bahman Zamani (ISC Int. J. Inf. Secur., 2022)