Asem Ghaleb

prof_pic.jpg

I am a final-year Ph.D. candidate at the University of British Columbia (UBC), Vancouver, where I work with Karthik Pattabiraman and Julia Rubin. My research interests lie in program analysis and automated reasoning techniques with applications in software security. Specifically, my Ph.D. thesis focus is on building effective and efficient analysis techniques for detecting security vulnerabilities in Ethereum smart contracts. Previously, I have worked on the security analysis of industrial control systems (ICS), mainly, the network communication between Siemens programmable logic controllers (PLC) and the engineering stations. Through this work, I discovered three network attacks that can lead to serious compromise of PLCs. I also worked on dynamically analyzing the behavior of more than 700 ransomware samples to build ransomware detection models based on the behavior of the machine being compromised.

news

Feb 24, 2023 Receiving *Artifact Evaluated Reusable* and *Artifact Available* badges from ICSE’23 Artifact Evaluation for our paper “AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities” Contracts”! :sparkles: :trophy:
Dec 8, 2022 Our paper AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities has been accepted to ICSE’23! :sparkles:
Aug 5, 2022 My paper Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts has been accepted to the ASE’22 doctoral symposium! :sparkles:
Jun 2, 2022 Receiving *Artifact Reusable Badge* from ISSTA’22 Artifact Evaluation for our paper “eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts”! :sparkles: :trophy:
Apr 8, 2022 Our paper eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts has been accepted to ISSTA’22! :sparkles:

selected publications

  1. AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
    Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman
    2023
  2. eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
    Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman
    2022
  3. How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection
    Asem Ghaleb, and Karthik Pattabiraman
    2020
  4. On PLC network security
    Asem Ghaleb, Sami Zhioua, and Ahmad Almulhem
    International Journal of Critical Infrastructure Protection 2018