Mohamed A. El-Zawawy

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 14

Top Topics

Authentication Protocol

Operational Semantics

Parallel Programming

Top Venues

ICCSA (Workshops/Short Papers/Posters)

Publications

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