Haijun Wang

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis

Yuqiang Sun, Daoyuan Wu, Yue Xue et al. · 2024 · 118 citations · Full text

Engineering, Verification, Software Engineering +20

Structure‐based finite strain modelling of the human left ventricle in diastole

Haijun Wang, Hao Gao, Xiaoyu Luo et al. · International Journal for Numerical Methods in Biomedical Engineering · 2012 · 113 citations · Full text

Cerebro: context-aware adaptive fuzzing for effective vulnerability detection

Yuekang Li, Yinxing Xue, Hongxu Chen et al. · 2019 · 90 citations

Software Maintenance, Engineering, Computer Architecture +21

VULTRON: Catching Vulnerable Smart Contracts Once and for All

Haijun Wang, Yi Li, Shang‐Wei Lin et al. · 2019 · 72 citations

Engineering, Information Security, Information Forensics +17

xFuzz: Machine Learning Guided Cross-Contract Fuzzing

Yinxing Xue, Jiaming Ye, Wei Zhang et al. · IEEE Transactions on Dependable and Secure Computing · 2022 · 68 citations

Software Security, Smart Contract Transactions, Machine Learning +15