The following publications are possibly variants of this publication:
- An Efficient Smart Contracts Event Ordering Vulnerability Detection System Based on Symbolic Execution and Fuzz TestingYitao Li, Baojiang Cui, Dongbin Wang, Yue Yu, Can Zhang. imis 2024: 280-287 [doi]
- WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability DetectionBo Jiang 0001, Yifei Chen, Dong Wang, Imran Ashraf, W. K. Chan 0001. qrs 2021: 926-937 [doi]
- An Efficient Vulnerability Detection Model for Ethereum Smart ContractsJingjing Song, Haiwu He, Zhuo Lv, Chunhua Su, Guangquan Xu, Wei Wang 0012. NSS 2019: 433-442 [doi]
- An Efficient Detection Model for Smart Contract Reentrancy VulnerabilitiesYuan Li, Ran Guo, Guopeng Wang, Lejun Zhang, Jing Qiu 0002, Shen Su, Yuan Liu, Guangxia Xu, Huiling Chen. smartcom 2023: 350-359 [doi]