I am a graduate student working on software engineering at the Inplus Lab of Sun Yat-sen University. My research interests include software security, program analysis and smart contracts. Now, I am supervised by Associate Prof. Yuhong Nan and Prof. Zibin Zheng, co-working with many awesome lab fellows. Meanwhile, I have been drawing much effort on the digital economy at the top-level planning due to programs of our lab.
研究论文
这太难翻译了，就用英文吧
[FSE'24] SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Zeqin Liao, Henglong Liang, Yuhong Nan, Sicheng Hao, Zibin Zheng, Juan Zhai, Jiajing Wu
[ASE'23] SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding.
Sicheng Hao, Yuhong Nan, Zibin Zheng, Xiaohui Liu.
PDF, Code, Slide
[ISSTA'23] SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.
Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng.
PDF, Code, Slide(My Version)
项目课题
-[数据资产] 电力数据要素评估白皮书, 2022-2023.
-[区块链] 区块链+金融科技产业调研报告, 2021-2022.
-[数字化] 南海区数字经济发展研究报告, 2021-2022.