中山大学软件工程学院，InplusLab实验室，软件工程PhD在读。目前，我在郑子彬教授和南雨宏副教授的指导下开展研究工作，主要研究问题包括软件安全和智能合约。同时，基于实验室长期在数字经济和数字化领域的耕耘，我也尝试在顶层设计和实施路径上为我国数字经济发展添砖加瓦。
项目经历
依托中山大学InplusLab实验室，参与和完成多项软课题和研究课题项目。
[软课题，数据要素] 龙华区加快数据要素市场化配置研究. 龙华区科技创新局. 2023-2024
[软课题，数据要素] 深圳市数据资产化建设的策略研究. 深圳市科学技术协会. 2022-2023
[研究课题，智能合约] 智能合约一致性与安全研究. 微众银行. 2021-2023 FYI.
[软课题，数据要素] 电力数据要素评估白皮书. 中国南方电网. 2022-2023 FYI.
[软课题，数字经济] 沥滘片区数字化发展研究. 珠光控股. 2021-2022.
[软课题，数字经济] 南海区区块链+金融科技产业研究. 佛山市南海区. 2021-2022.
[软课题，数字经济] 南海区数字经济发展研究. 佛山市南海区. 2021-2022.
研究论文
针对智能合约可靠性问题开展相关研究。
[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)