Sicheng Hao -

Registered user since Fri 27 Jan 2023

Name:Sicheng Hao

Contributions

2024

ESEC/FSE

Author of SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis within the Research Papers-track

2023

ASE

Author of SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding within the Research Papers-track

ISSTA

Author of SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis within the Technical Papers-track