Search Results - Aljaafari, Fatimah

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

    Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs by Aljaafari, Fatimah K., Menezes, Rafael, Manino, Edoardo, Shmarov, Fedor, Mustafa, Mustafa A., Cordeiro, Lucas C.

    Published in IEEE access
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations

    Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations by Aljaafari, Fatimah, Menezes, Rafael, Mustafa, Mustafa A, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)

    LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution) by Wu, Tong, Manino, Edoardo, Aljaafari, Fatimah, Petoumenos, Pavlos, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

    Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs by Aljaafari, Fatimah K, Menezes, Rafael, Manino, Edoardo, Shmarov, Fedor, Mustafa, Mustafa A, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Verifying Software Vulnerabilities in IoT Cryptographic Protocols

    Verifying Software Vulnerabilities in IoT Cryptographic Protocols by Aljaafari, Fatimah, Cordeiro, Lucas C, Mustafa, Mustafa A

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Intestinal Ischemia Due to Methamphetamine Abuse in a Confused Elderly Patient: A Case Report

    Intestinal Ischemia Due to Methamphetamine Abuse in a Confused Elderly Patient: A Case Report by Sherkawi, Emad, Aljaafari, Sara A, AlGhannam, Ziyad T, Alsafar, Fatimah A

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Changes in the Presentation and Severity of Acute Appendicitis: A Comparison of the COVID-19 Pandemic and Post-Pandemic Eras

    Changes in the Presentation and Severity of Acute Appendicitis: A Comparison of the COVID-19 Pandemic and Post-Pandemic Eras by Bu Bshait, Mohammed, Kamal, Ahmed, Almaqhawi, Abdullah, Al Abdulqader, Ahmad, Alarfaj, Haytham, Albarqi, Mohammed, Al Khashram, Nawaf, AlMssallem, Nora, Aljalal, Fatimah, Aljaafari, Sara, Alnaim, Abtesam, Alzabdawi, Sharifah, Odeh, Ahmad

    Published in Diseases
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Intestinal Ischemia Due to Methamphetamine Abuse in a Confused Elderly Patient: A Case Report

    Intestinal Ischemia Due to Methamphetamine Abuse in a Confused Elderly Patient: A Case Report by Sherkawi, Emad, Aljaafari, Sara A, AlGhannam, Ziyad T, Alsafar, Fatimah A

    Published in Cureus
    Get full text
    Report
    Save to List
    Saved in:

Search Tools: