Extracting Threat Intelligence From Cheat Binaries For Anti-Cheating. - Md Sakib Anwar; Chaoshun Zuo; Carter Yagemann; Zhiqiang Lin 001 (RAID, 2023)

GoSonar: Detecting Logical Vulnerabilities in Memory Safe Language Using Inductive Constraint Reasoning. - Md Sakib Anwar; Carter Yagemann; Zhiqiang Lin 001 (SP, 2025)