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”! Our paper AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities has been accepted to ICSE’23! My paper Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts has been accepted to the ASE’22 doctoral symposium! Receiving *Artifact Reusable Badge* from ISSTA’22 Artifact Evaluation for our paper “eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts”! Our paper eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts has been accepted to ISSTA’22!

## selected publications

1. AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
2023
2. eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
2022
3. How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection
2020
4. On PLC network security
International Journal of Critical Infrastructure Protection 2018