Mohamed A. El-Zawawy

According to our database, Mohamed A. El-Zawawy authored at least 45 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Location-Aware and Healing Attestation Scheme for Air-Supported Internet of Vehicles.

Mohamed A. El-Zawawy, Chhagan Lal, Mauro Conti

IEEE Trans. Intell. Transp. Syst., February, 2024

2023

Honey-list based authentication protocol for industrial IoT swarms.

Mohamed A. El-Zawawy, Pallavi Kaliyar, Mauro Conti, Sokratis K. Katsikas

Comput. Commun., November, 2023

Authenticating Drone-Assisted Internet of Vehicles Using Elliptic Curve Cryptography and Blockchain.

Mohamed A. El-Zawawy, Alessandro Brighente, Mauro Conti

IEEE Trans. Netw. Serv. Manag., June, 2023

2022

Formal model for inter-component communication and its security in android.

Mohamed A. El-Zawawy, Parvez Faruki, Mauro Conti

Computing, 2022

SETCAP: Service-Based Energy-Efficient Temporal Credential Authentication Protocol for Internet of Drones.

Mohamed A. El-Zawawy, Alessandro Brighente, Mauro Conti

Comput. Networks, 2022

2021

Do not let Next-Intent Vulnerability be your next nightmare: type system-based approach to detect it in Android apps.

Mohamed A. El-Zawawy, Eleonora Losiouk, Mauro Conti

Int. J. Inf. Sec., 2021

Vulnerabilities in Android webview objects: Still not the end!

Mohamed A. El-Zawawy, Eleonora Losiouk, Mauro Conti

Comput. Secur., 2021

2019

A new technique for intent elicitation in Android applications.

Mohamed A. El-Zawawy

Iran J. Comput. Sci., 2019

2017

Posting Graphs for Finding Non-Terminating Executions in Asynchronous Programs.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

Modeling Android Fragments and Activities Life Cycles Coordination.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

2016

Finding Divergent Executions in Asynchronous Programs.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

A Type System for Android Applications.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

An Operational Semantics for Android Applications.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

2015

Asynchronous Programming in a Prioritized Form.

Mohamed A. El-Zawawy

CoRR, 2015

An Efficient Layer-Aware Technique for Developing Asynchronous Context-Oriented Software (ACOS).

Mohamed A. El-Zawawy

Proceedings of the 15th International Conference on Computational Science and Its Applications, 2015

Boosting the Software Quality of Parallel Programming Using Logical Means.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

Novel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2015, 2015

2014

ImpNet: Programming Software-Defied Networks Using Imperative Techniques.

Mohamed A. El-Zawawy, Adel I. AlSalem

CoRR, 2014

Probabilistic Alias Analysis for Parallel Programming in SSA Forms.

Mohamed A. El-Zawawy, Mohammad N. Alanazi

CoRR, 2014

An Efficient Binary Technique for Trace Simplifications of Concurrent Programs.

Mohamed A. El-Zawawy, Mohammad N. Alanazi

CoRR, 2014

ImNet: An Imperative Network Programming Language.

Mohamed A. El-Zawawy, Adel I. AlSalem

CoRR, 2014

A new model for Context-Oriented Programs.

Mohamed A. El-Zawawy, Eisa A. Aleisa

CoRR, 2014

Distributed Data and Programs Slicing.

Mohamed A. El-Zawawy

CoRR, 2014

Testing Automation of Context-Oriented Programs Using Separation Logic.

Mohamed A. El-Zawawy

Appl. Comput. Intell. Soft Comput., 2014

ConNet: A Network Programming Language with Concurrency.

Mohamed A. El-Zawawy

Proceedings of the 2014 14th International Conference on Computational Science and Its Applications, Guimaraes, Portugal, June 30, 2014

Certified Transformation for Static Single Assignment of SPMD Programs.

Mohamed A. El-Zawawy

Proceedings of the 2014 14th International Conference on Computational Science and Its Applications, Guimaraes, Portugal, June 30, 2014

Proof-Carrying Model for Parsing Techniques.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2013

Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Frequent Statement and De-reference Elimination for Distributed Programs.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

2012

Recognition of Logically Related Regions Based Heap Abstraction

Mohamed A. El-Zawawy

CoRR, 2012

Dead code elimination based pointer analysis for multithreaded programs

Mohamed A. El-Zawawy

CoRR, 2012

Dynamic Verification for File Safety of Multithreaded Programs

Mohamed A. El-Zawawy, Nagwan Moustafa Daoud

CoRR, 2012

Efficient techniques for mining spatial databases

Mohamed A. El-Zawawy

CoRR, 2012

Type Systems Based Data Race Detector.

Mohamed A. El-Zawawy, Hamada A. Nayel

Comput. Inf. Sci., 2012

New Error-recovery Techniques for Faulty-Calls of Functions.

Mohamed A. El-Zawawy, Nagwan Moustafa Daoud

Comput. Inf. Sci., 2012

Abstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Heap Slicing Using Type Systems.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

2011

Probabilistic pointer analysis for multithreaded programs

Mohamed A. El-Zawawy

CoRR, 2011

Partial Redundancy Elimination for Multi-threaded Programs

Mohamed A. El-Zawawy, Hamada A. Nayel

CoRR, 2011

Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis

Mohamed A. El-Zawawy

CoRR, 2011

Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs.

Mohamed A. El-Zawawy

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

2009

Algorithm for Spatial Clustering with Obstacles

Mohamed E. El-Sharkawi, Mohamed A. El-Zawawy

CoRR, 2009

Clustering with Obstacles in Spatial Databases

Mohamed A. El-Zawawy, Mohamed E. El-Sharkawi

CoRR, 2009

2006

Priestley Duality for Strong Proximity Lattices.

Mohamed A. El-Zawawy, Achim Jung

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006