Login / Signup
Sicheng Hao
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 4
Top Topics
Test Suite
Constraint Propagation
Static Analysis
Coarse Grained
Top Venues
CoRR
ASE
Proc. ACM Softw. Eng.
</>
Publications
</>
Zeqin Liao
,
Yuhong Nan
,
Henglong Liang
,
Sicheng Hao
,
Juan Zhai
,
Jiajing Wu
,
Zibin Zheng
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Proc. ACM Softw. Eng.
1 (FSE) (2024)
Zeqin Liao
,
Sicheng Hao
,
Yuhong Nan
,
Zibin Zheng
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.
CoRR
(2024)
Zeqin Liao
,
Yuhong Nan
,
Henglong Liang
,
Sicheng Hao
,
Juan Zhai
,
Jiajing Wu
,
Zibin Zheng
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
CoRR
(2024)
Sicheng Hao
,
Yuhong Nan
,
Zibin Zheng
,
Xiaohui Liu
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding.
ASE
(2023)