From Tactics to Techniques: A Systematic Attack Modeling for Advanced Persistent Threats in Industrial Control Systems. - Yunhe Yang; Mu Zhang 001 (EuroS&P Workshops, 2023)

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)