About Me

I am an Associate Professor in the Kahlert School of Computing at University of Utah. My research interests lie in several aspects of Computer Security. Particularly, I am interested in developing tools using all types of techniques (e.g., program analysis, machine learning, etc.) to detect, diagnose and address security problems of software systems in different domains, including but not limited to AI agents, Web3, and cyber-physical systems.

News

• 6/2026: One paper for detecting release bypass vulnerabilities has been accepted in USENIX Sec'26.

• 8/2025: One paper for testing Windows ALPC services has been accepted in CCS'25.

• 4/2025: Our paper, COLLISIONREPAIR, for automated mitigation of storage collision issues in smart contracts, has been accepted in USENIX Sec'25. Great job, Yu and Wanjing!

• 4/2025: Our paper, ICSTracker, enabling provenance analysis in industrial control systems, has been accepted in DSN'25. Great work, Raihan!

• 4/2025: One paper for fuzzing Windows XPS printing drivers has been accepted in CCS'25.

• 3/2025: One paper for unpacking VM-protected Android malware has been accepted in TIFS.