Mohamed A. El-Zawawy

49 papers B 1Journal 31Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Detecting Hidden Sensitive Operation vulnerabilities and their collusion inter-app attacks in Android.
Comput. Electr. Eng.
Mohamed A. El-Zawawy, Sokratis K. Katsikas
2025 J jnl
BDMFA: Forensic-enabling attestation technique for Internet of Medical Things.
Internet Things
Mohamed A. El-Zawawy, Harsha Vasudev, Mauro Conti
2025 J jnl
Detection of hidden privilege escalations in android.
Autom. Softw. Eng.
Mohamed A. El-Zawawy, Aya Hamdy
2024 J jnl
A Location-Aware and Healing Attestation Scheme for Air-Supported Internet of Vehicles.
IEEE Trans. Intell. Transp. Syst.
Mohamed A. El-Zawawy, Chhagan Lal, Mauro Conti
2023 J jnl
Authenticating Drone-Assisted Internet of Vehicles Using Elliptic Curve Cryptography and Blockchain.
IEEE Trans. Netw. Serv. Manag.
Mohamed A. El-Zawawy, Alessandro Brighente, Mauro Conti
2023 J jnl
Honey-list based authentication protocol for industrial IoT swarms.
Comput. Commun.
Mohamed A. El-Zawawy, Pallavi Kaliyar, Mauro Conti, Sokratis K. Katsikas
2022 J jnl
Formal model for inter-component communication and its security in android.
Computing
Mohamed A. El-Zawawy, Parvez Faruki, Mauro Conti
2022 J jnl
SETCAP: Service-Based Energy-Efficient Temporal Credential Authentication Protocol for Internet of Drones.
Comput. Networks
Mohamed A. El-Zawawy, Alessandro Brighente, Mauro Conti
2021 J jnl
Do not let Next-Intent Vulnerability be your next nightmare: type system-based approach to detect it in Android apps.
Int. J. Inf. Sec.
Mohamed A. El-Zawawy, Eleonora Losiouk, Mauro Conti
2021 J jnl
Vulnerabilities in Android webview objects: Still not the end!
Comput. Secur.
Mohamed A. El-Zawawy, Eleonora Losiouk, Mauro Conti
2019 J jnl
A new technique for intent elicitation in Android applications.
Iran J. Comput. Sci.
Mohamed A. El-Zawawy
2018 J jnl
Middleware for Internet of Things: Survey and Challenges.
Intell. Autom. Soft Comput.
Samia Allaoua Chelloug, Mohamed A. El-Zawawy
2017 — conf
Modeling Android Fragments and Activities Life Cycles Coordination.
ICCSA (5)
Mohamed A. El-Zawawy
2017 — conf
Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs.
ICCSA (6)
Mohamed A. El-Zawawy
2017 — conf
Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments.
ICCSA (6)
Mohamed A. El-Zawawy
2016 — conf
A Type System for Android Applications.
ICCSA (5)
Mohamed A. El-Zawawy
2016 — conf
An Operational Semantics for Android Applications.
ICCSA (5)
Mohamed A. El-Zawawy
2016 — conf
Finding Divergent Executions in Asynchronous Programs.
ICCSA (5)
Mohamed A. El-Zawawy
2015 — conf
An Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS).
ICCSA (Short Papers/poster papers/PhD student showcase works)
Mohamed A. El-Zawawy
2015 J jnl
Asynchronous Programming in a Prioritized Form.
CoRR
Mohamed A. El-Zawawy
2015 — conf
Boosting the Software Quality of Parallel Programming Using Logical Means.
ICCSA (5)
Mohamed A. El-Zawawy
2015 — conf
Novel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits.
ICCSA (4)
Mohamed A. El-Zawawy
2014 J jnl
A new model for Context-Oriented Programs.
CoRR
Mohamed A. El-Zawawy, Eisa A. Aleisa
2014 J jnl
An Efficient Binary Technique for Trace Simplifications of Concurrent Programs.
CoRR
Mohamed A. El-Zawawy, Mohammad N. Alanazi
2014 — conf
Certified Transformation for Static Single Assignment of SPMD Programs.
ICCSA (Workshops/Short Papers/Posters)
Mohamed A. El-Zawawy
2014 — conf
ConNet: A Network Programming Language with Concurrency.
ICCSA (Workshops/Short Papers/Posters)
Mohamed A. El-Zawawy
2014 J jnl
Distributed Data and Programs Slicing.
CoRR
Mohamed A. El-Zawawy
2014 J jnl
ImNet: An Imperative Network Programming Language.
CoRR
Mohamed A. El-Zawawy, Adel I. AlSalem
2014 J jnl
ImpNet: Programming Software-Defied Networks Using Imperative Techniques.
CoRR
Mohamed A. El-Zawawy, Adel I. AlSalem
2014 J jnl
Probabilistic Alias Analysis for Parallel Programming in SSA Forms.
CoRR
Mohamed A. El-Zawawy, Mohammad N. Alanazi
2014 — conf
Proof-Carrying Model for Parsing Techniques.
ICCSA (5)
Mohamed A. El-Zawawy
2014 J jnl
Testing Automation of Context-Oriented Programs Using Separation Logic.
Appl. Comput. Intell. Soft Comput.
Mohamed A. El-Zawawy
2013 — conf
Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools.
ICCSA (5)
Mohamed A. El-Zawawy
2013 — conf
Frequent Statement and De-reference Elimination for Distributed Programs.
ICCSA (3)
Mohamed A. El-Zawawy
2012 — conf
Abstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs.
ICCSA (4)
Mohamed A. El-Zawawy
2012 J jnl
Dead code elimination based pointer analysis for multithreaded programs
CoRR
Mohamed A. El-Zawawy
2012 J jnl
Dynamic Verification for File Safety of Multithreaded Programs
CoRR
Mohamed A. El-Zawawy, Nagwan Moustafa Daoud
2012 J jnl
Efficient techniques for mining spatial databases
CoRR
Mohamed A. El-Zawawy
2012 — conf
Heap Slicing Using Type Systems.
ICCSA (3)
Mohamed A. El-Zawawy
2012 J jnl
New Error-recovery Techniques for Faulty-Calls of Functions.
Comput. Inf. Sci.
Mohamed A. El-Zawawy, Nagwan Moustafa Daoud
2012 J jnl
Recognition of Logically Related Regions Based Heap Abstraction
CoRR
Mohamed A. El-Zawawy
2012 J jnl
Type Systems Based Data Race Detector.
Comput. Inf. Sci.
Mohamed A. El-Zawawy, Hamada A. Nayel
2011 — conf
Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs.
ICCSA (5)
Mohamed A. El-Zawawy
2011 J jnl
Partial Redundancy Elimination for Multi-threaded Programs
CoRR
Mohamed A. El-Zawawy, Hamada A. Nayel
2011 J jnl
Probabilistic pointer analysis for multithreaded programs
CoRR
Mohamed A. El-Zawawy
2011 J jnl
Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis
CoRR
Mohamed A. El-Zawawy
2009 J jnl
Algorithm for Spatial Clustering with Obstacles
CoRR
Mohamed E. El-Sharkawi, Mohamed A. El-Zawawy
2009 J jnl
Clustering with Obstacles in Spatial Databases
CoRR
Mohamed A. El-Zawawy, Mohamed E. El-Sharkawi
2006 B conf
Priestley Duality for Strong Proximity Lattices.
MFPS
Mohamed A. El-Zawawy, Achim Jung