Zeqin Liao -

Registered user since Thu 16 Jun 2022

Name:Zeqin Liao

Country:China

Affiliation:Sun Yat-sen University

Research interests:static analysis，software engineering，bug finding，formal verification

Contributions

2025

ASE

Author of VRExplorer: A Model-based Approach for Automated Virtual Reality Scene Testing within the Research Papers-track

EXPRESS

Programme Committee in Program Committee within the EXPRESS 2025-track

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

ISSTA

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

2022

ISSTA

Author of SmartDagger : A Bytecode-based Static Analysis Approach for Detecting Cross-contract Vulnerability within the Technical Papers-track