| Middleware for internet of things: Survey and challenges SA Chelloug, MA El-Zawawy Intelligent Automation & Soft Computing 24 (2), 309–317, 2018 | 49 | 2018 |
| Vulnerabilities in Android webview objects: Still not the end! MA El-Zawawy, E Losiouk, M Conti Computers & Security 109, 102395, 2021 | 18 | 2021 |
| Authenticating drone-assisted internet of vehicles using elliptic curve cryptography and blockchain MA El-Zawawy, A Brighente, M Conti IEEE Transactions on Network and Service Management 20 (2), 1775-1789, 2023 | 16 | 2023 |
| Priestley duality for strong proximity lattices MA El-Zawawy, A Jung Electronic Notes in Theoretical Computer Science 158, 199-217, 2006 | 15 | 2006 |
| Do not let Next-Intent Vulnerability be your next nightmare: type system-based approach to detect it in Android apps MA El-Zawawy, E Losiouk, M Conti International Journal of Information Security 20 (1), 39-58, 2021 | 14 | 2021 |
| SETCAP: Service-based energy-efficient temporal credential authentication protocol for Internet of Drones MA El-Zawawy, A Brighente, M Conti Computer Networks 206, 108804, 2022 | 13 | 2022 |
| Type Systems Based Data Race Detector. MA El-Zawawy, HA Nayel Comput. Inf. Sci. 5 (4), 53-60, 2012 | 13 | 2012 |
| Flow sensitive-insensitive pointer analysis based memory safety for multithreaded programs MA El-Zawawy Computational Science and Its Applications-ICCSA 2011: International …, 2011 | 13 | 2011 |
| Partial redundancy elimination for multi-threaded programs MA El-Zawawy, HA Nayel arXiv preprint arXiv:1111.0640, 2011 | 12 | 2011 |
| New error-recovery techniques for faulty-calls of functions MA El-Zawawy, NM Daoud Computer and Information Science 5 (3), 67, 2012 | 11 | 2012 |
| Dead code elimination based pointer analysis for multithreaded programs MA El-Zawawy Journal of the Egyptian Mathematical Society 20 (1), 28-37, 2012 | 11 | 2012 |
| Probabilistic pointer analysis for multithreaded programs MA El-Zawawy arXiv preprint arXiv:1112.3756, 2011 | 11 | 2011 |
| Program optimization based pointer analysis and live stack-heap analysis MA El-Zawawy arXiv preprint arXiv:1104.0644, 2011 | 11 | 2011 |
| Semantic spaces in Priestley form MA El-Zawawy PhD thesis, University of Birmingham, UK (January 2007), 2007 | 10 | 2007 |
| Formal model for inter-component communication and its security in android MA El-Zawawy, P Faruki, M Conti Computing 104 (8), 1839-1865, 2022 | 9 | 2022 |
| Detection of probabilistic dangling references in multi-core programs using proof-supported tools MA El-Zawawy Computational Science and Its Applications–ICCSA 2013: 13th International …, 2013 | 8 | 2013 |
| An efficient binary technique for trace simplifications of concurrent programs MA El-Zawawy, MN Alanazi 2014 IEEE 6th International Conference on Adaptive Science & Technology …, 2014 | 7 | 2014 |
| Frequent statement and de-reference elimination for distributed programs MA El-Zawawy Computational Science and Its Applications–ICCSA 2013: 13th International …, 2013 | 6 | 2013 |
| Clustering with obstacles in spatial databases MA El-Zawawy, ME El-Sharkawi arXiv preprint arXiv:0909.4409, 2009 | 6 | 2009 |
| Recognition of logically related regions based heap abstraction MA El-Zawawy Journal of the Egyptian Mathematical Society 20 (2), 64-71, 2012 | 5 | 2012 |
Mauro ContiIEEE Fellow - Prof. @ University of Padua - Affiliate Prof. @ TU Delft/UW SeattleEmail verificata su math.unipd.it