研究论文

针对智能合约可靠性问题开展相关研究。

[TOSEM] Detecting and Analyzing Fine-grained Third-party Library Dependencies in Solidity Smart Contracts.
Sicheng Hao, Yuhong Nan, Zeqin Liao, Juan Zhai, Zibin Zheng.
PDF, Code

[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)