TY  - RPRT
TI  - Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System
AU  - Amirhosein Sayyadabdi
AU  - Behrouz Tork Ladani
AU  - Bahman Zamani
PY  - 2022
UR  - https://arxiv.org/abs/2208.11062
ID  - 2208.11062
ER  -