Poster: EOSDFA: Data Flow Analysis of EOSIO Smart Contracts. - Levi Taiji Li; Mu Zhang 001 (CCS, 2022)

Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode. - Yu Pan; Zhichao Xu 001; Levi Taiji Li; Yunhe Yang; Mu Zhang 001 (ISSTA, 2023)

VETEOS: Statically Vetting EOSIO Contracts for the "Groundhog Day" Vulnerabilities. - Levi Taiji Li; Ningyu He; Haoyu Wang 001; Mu Zhang 001 (NDSS, 2024)

ICSTracker: Backtracking Intrusions in Modern Industrial Control Systems. - Md. Raihan Ahmed; Jainta Paul; Levi Taiji Li; Luis Garcia 001; Mu Zhang 001 (DSN, 2025)