Publications

I am now focusing on different security aspects of smart contracts. Besides basic program analysis, I am trying to solve problems between development intention and code.

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

[TSE] Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse.
Zeqin Liao, Yuhong Nan, Zixu Gao, Henglong Liang, Sicheng Hao, Jiajing Wu, Zibin Zheng

[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.
[PDF], [Code]

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