Zeqin Liao

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Test Generation

Static Analysis

Top Venues

IEEE Internet Things J.

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)
Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis. ISSTA (2023)
Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan
SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability. ISSTA (2022)
Guangjie Han, Zeqin Liao, Miguel Martínez-García, Yu Zhang, Yan Peng
Dynamic Collaborative Charging Algorithm for Mobile and Static Nodes in Industrial Internet of Things. IEEE Internet Things J. 8 (24) (2021)
Zeqin Liao, Guangjie Han, Hao Wang, Li Liu
Multistation-Based Collaborative Charging Strategy for High-Density Low-Power Sensing Nodes in Industrial Internet of Things. IEEE Internet Things J. 8 (9) (2021)