Bagheri, H., A. Sadeghi, R. Jabbarvand, and S. Malek,
"Practical, Formal Synthesis and Autonomic Enforcement of Security Policies for Android",
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), Toulouse, France, June, 2016.
Sadeghi, A., R. Jabbarvand, and S. Malek,
"PATDroid: Permission-Aware GUI Testing of Android",
11th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), Paderborn, Germany, pp. 220-232, Sept 4-8, 2017.