Follow
Alireza Sadeghi
Alireza Sadeghi
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Covert: Compositional analysis of android inter-app permission leakage
H Bagheri, A Sadeghi, J Garcia, S Malek
IEEE transactions on Software Engineering 41 (9), 866-886, 2015
1382015
Reducing combinatorics in GUI testing of android applications
N Mirzaei, J Garcia, H Bagheri, A Sadeghi, S Malek
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
1332016
A Taxonomy and Qualitative Comparison of Program Analysis Techniques for Security Assessment of Android Software
A Sadeghi, H Bagheri, J Garcia, S Malek
IEEE Transactions on Software Engineering, 2016
1302016
Ecodroid: An approach for energy-based ranking of android apps
RJ Behrouz, A Sadeghi, J Garcia, S Malek, P Ammann
2015 IEEE/ACM 4th International Workshop on Green and Sustainable Software, 8-14, 2015
862015
Energy-aware test-suite minimization for android apps
R Jabbarvand, A Sadeghi, H Bagheri, S Malek
Proceedings of the 25th International Symposium on Software Testing and …, 2016
602016
Analysis of android inter-app security vulnerabilities using covert
A Sadeghi, H Bagheri, S Malek
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
502015
Patdroid: permission-aware gui testing of android
A Sadeghi, R Jabbarvand, S Malek
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
472017
Practical, formal synthesis and automatic enforcement of security policies for android
H Bagheri, A Sadeghi, R Jabbarvand, S Malek
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
472016
Software architectural principles in contemporary mobile software: from conception to practice
H Bagheri, J Garcia, A Sadeghi, S Malek, N Medvidovic
Journal of Systems and Software 119, 31-44, 2016
392016
A temporal permission analysis and enforcement framework for android
A Sadeghi, R Jabbarvand, N Ghorbani, H Bagheri, S Malek
Proceedings of the 40th International Conference on Software Engineering …, 2018
302018
Automated dynamic enforcement of synthesized security policies in android
H Bagheri, A Sadeghi, R Jabbarvand, S Malek
George Mason University, Tech. Rep. GMU-CS-TR-2015-5, 2015
232015
Mining the categorized software repositories to improve the analysis of security vulnerabilities
A Sadeghi, N Esfahani, S Malek
International conference on fundamental approaches to software engineering …, 2014
182014
Architecture modeling and analysis of security in android systems
B Schmerl, J Gennari, A Sadeghi, H Bagheri, S Malek, J Cámara, ...
European Conference on Software Architecture, 274-290, 2016
112016
Mbtdd: Model based test driven development
A Sadeghi, SH Mirian-Hosseinabadi
International Journal of Software Engineering and Knowledge Engineering 22 …, 2012
82012
Emphasizing experiences in teaching software engineering courses
SH Mirian-Hosseinabadi, Z Aghakasiri, A Sadeghi, P Delfani, ...
2010 2nd International Conference on Education Technology and Computer 2, V2 …, 2010
82010
Mining Mobile App Markets for Prioritization of Security Assessment Effort
A Sadeghi, N Esfahani, S Malek
2nd International Workshop on App Market Analytics (WAMA 2017), 2017
52017
Automated detection and mitigation of inter-application security vulnerabilities in android (invited talk)
S Malek, H Bagheri, A Sadeghi
Proceedings of the 2nd International Workshop on Software Development …, 2014
52014
Distributed network caching via dynamic programming
A Sadeghi, AG Marques, GB Giannakis
ICASSP 2019-2019 IEEE International Conference on Acoustics, Speech and …, 2019
42019
Security and software engineering
S Malek, H Bagheri, J Garcia, A Sadeghi
Handbook of Software Engineering, 445-489, 2019
42019
Efficient Permission-Aware Analysis of Android Apps
A Sadeghi
University of California, Irvine, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–20