1. Android Malware Detection$$|$$Kaggle. https://www.kaggle.com/datasets/defensedroid/android-malware-detection?select=Services+Dataset.csv
2. Kaspersky Security Bulletin 2022. Statistics $$|$$ Securelist. https://securelist.com/ksb-2022-statistics/108129/
3. Z3 Theorem Prover. https://github.com/Z3Prover
4. Ahvanooey, M.T., Li, P.Q., Rabbani, M., Rajput, A.R.: A survey on smartphones security: software vulnerabilities. Malware Attacks 8(10), 30–45 (2017)
5. Alazab, M., Alazab, M., Shalaginov, A., Mesleh, A.: Intelligent mobile malware detection using permission requests and API calls. Futur. Gener. Comput. Syst. 107, 509–521 (2020). https://doi.org/10.1016/j.future.2020.02.002