Mustafa Mustafa

Search results

• PRIVACY-PRESERVING TRADING IN LOCAL ENERGY MARKETS

  Erdayandi, K. (Author), Cordeiro, L. (Supervisor) & Mustafa, M. A. (Supervisor), 31 Dec 2024

  Student thesis: Phd

  File

• Black-Box Cooperative Verification Framework for Finding Software Vulnerabilities in Concurrent Programs

  Aljaafari, F. (Author), Cordeiro, L. (Supervisor) & Mustafa, M. A. (Supervisor), 1 Aug 2024

  Student thesis: Phd

  File

• Let's Look Out For Each Other: A Distributed Framework for Botcloud Detection

  ., T. (Author), Zhang, N. (Supervisor) & Mustafa, M. A. (Supervisor), 31 Dec 2022

  Student thesis: Phd

  File

• Finding Software Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification

  Alhawi, O. (Author), Cordeiro, L. (Supervisor) & Mustafa, M. A. (Supervisor), 1 Aug 2021

  Student thesis: Master of Philosophy

  File