Search Results - El-Zawawy, Mohamed A.

Refine Results
  1. 1
    Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs

    Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs by Zawawy, Mohamed A. El

    Published in TheScientificWorld
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Testing Automation of Context-Oriented Programs Using Separation Logic

    Testing Automation of Context-Oriented Programs Using Separation Logic by El-Zawawy, Mohamed A.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    SETCAP: Service-Based Energy-Efficient Temporal Credential Authentication Protocol for Internet of Drones

    SETCAP: Service-Based Energy-Efficient Temporal Credential Authentication Protocol for Internet of Drones by El-Zawawy, Mohamed A., Brighente, Alessandro, Conti, Mauro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A Location-Aware and Healing Attestation Scheme for Air-Supported Internet of Vehicles

    A Location-Aware and Healing Attestation Scheme for Air-Supported Internet of Vehicles by El-Zawawy, Mohamed A., Lal, Chhagan, Conti, Mauro

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Authenticating Drone-Assisted Internet of Vehicles Using Elliptic Curve Cryptography and Blockchain

    Authenticating Drone-Assisted Internet of Vehicles Using Elliptic Curve Cryptography and Blockchain by El-Zawawy, Mohamed A., Brighente, Alessandro, Conti, Mauro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Vulnerabilities in Android webview objects: Still not the end

    Vulnerabilities in Android webview objects: Still not the end by El-Zawawy, Mohamed A., Losiouk, Eleonora, Conti, Mauro

    Published in Computers & security
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Formal model for inter-component communication and its security in android

    Formal model for inter-component communication and its security in android by El-Zawawy, Mohamed A., Faruki, Parvez, Conti, Mauro

    Published in Computing
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Do not let Next-Intent Vulnerability be your next nightmare: type system-based approach to detect it in Android apps

    Do not let Next-Intent Vulnerability be your next nightmare: type system-based approach to detect it in Android apps by El-Zawawy, Mohamed A., Losiouk, Eleonora, Conti, Mauro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Recognition of logically related regions based heap abstraction

    Recognition of logically related regions based heap abstraction by El-Zawawy, Mohamed A.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  10. 10
    Dead code elimination based pointer analysis for multithreaded programs

    Dead code elimination based pointer analysis for multithreaded programs by El-Zawawy, Mohamed A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    New Error-recovery Techniques for Faulty-Calls of Functions

    New Error-recovery Techniques for Faulty-Calls of Functions by El-Zawawy, Mohamed A., Daoud, Nagwan Moustafa

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Honey-list based authentication protocol for industrial IoT swarms

    Honey-list based authentication protocol for industrial IoT swarms by El-Zawawy, Mohamed A., Kaliyar, Pallavi, Conti, Mauro, Katsikas, Sokratis

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  13. 13
    A new technique for intent elicitation in Android applications

    A new technique for intent elicitation in Android applications by El-Zawawy, Mohamed A.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    An efficient binary technique for trace simplifications of concurrent programs

    An efficient binary technique for trace simplifications of concurrent programs by El-Zawawy, Mohamed A., Alanazi, Mohammad N.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Type Systems Based Data Race Detector

    Type Systems Based Data Race Detector by El-Zawawy, Mohamed A., Nayel, Hamada A.

    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Honey-list based authentication protocol for industrial IoT swarms

    Honey-list based authentication protocol for industrial IoT swarms by El-Zawawy, Mohamed A, Kaliyar, Pallavi, Conti, Mauro, Katsikas, Sokratis

    Request full text
    Article
    Save to List
    Saved in:
  17. 17
    Probabilistic pointer analysis for multithreaded programs

    Probabilistic pointer analysis for multithreaded programs by El-Zawawy, Mohamed A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Asynchronous Programming in a Prioritized Form

    Asynchronous Programming in a Prioritized Form by El-Zawawy, Mohamed A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Distributed Data and Programs Slicing

    Distributed Data and Programs Slicing by El-Zawawy, Mohamed A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Recognition of Logically Related Regions Based Heap Abstraction

    Recognition of Logically Related Regions Based Heap Abstraction by El-Zawawy, Mohamed A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: