| [1]唐飞,冯卓,黄永洪. 基于区块链的公平可验证数据持有方案[J]. 电子学报, 2023, 51(2): 406415[2]Mehar M I, Shier C L, Giambattista A, et al. Understanding a revolutionary and flawed grand experiment in blockchain: The DAO attack[J]. Journal of Cases on Information Technology, 2019, 21 (1): 1932[3]朱雪阳. The DAO事件的形式化分析[J]. 信息安全与技术,2016, 7(12): 16[4]Bartoletti M, Pompianu L. An empirical analysis of smart contracts: Platforms, applications, and design patterns[C] Proc of the 2017 FC Int Workshops on Financial Cryptography and Data Security. Berlin: Springer, 2017: 494509[5]Bybit. Bybit官方公告: 超15亿美元资产因ETH多签钱包转账攻击被盗[EBOL]. (20250222) [20260510]. https:www.chaindd.net3879329.html[6]Beosin. 2025年Web3区块链安全态势年报[EBOL]. (20251229) [20260510]. https:a.foresightnews.proarticledetail93544[7]Mueller B, Honig J. Mythril: Security analysis tool for Ethereum smart contracts using symbolic execution and control flow analysis[EBOL]. (20180801) [20260512]. https:mythrilclassic.readthedocs.ioenmasterabout.html[8]Tikhokirov S, Vasilyev A, Murzin D, et al. SmartCheck: Static analysis of ethereum smart contracts[C] Proc of the 2018 ACM SIGSAC Conf on Computer and Communications Security. New York: ACM, 2018: 23652367[9]Tsankov P, Dan A, DrachslerCohen D, et al. Securify: Practical security analysis of smart contracts[C] Proc of the 2018 ACM SIGSAC Conf on Computer and Communications Security. New York: ACM, 2018: 22212237[10]Trail of Bits. Slither: A static analysis framework for solidity[EBOL]. (20190315) [20260512]. https:github.comcryticslither[11]Luu L, Chu D H, Olichnowski H, et al. Making smart contracts smarter[C] Proc of the 2016 ACM SIGSAC Conf on Computer and Communications Security. New York: ACM, 2016: 254269[12]Grie G, Nguyen P, Spoto S, et al. Echidna: A fast fuzzer for ethereum smart contracts[EBOL]. (20200817) [20260512]. https:github.comcryticechidna[13]Wang X, Li Y, Zhang J, et al. SmartEmbed: A deep learning framework for smart contract vulnerability detection based on code similarity[J]. IEEE Access, 2021, 9: 165789165802[14]庄玉飞, 刘征, 钱鹏. 基于图神经网络的智能合约漏洞检测方法[J]. 软件学报, 2022, 33(12): 45874602[15]Liu H, Wang Y, Zhang L, et al. ReVuIDL: Graph pretrained model for smart contract vulnerability detection with propagation chain awareness[C] Proc of the 2023 IEEE Int Conf on Software Engineering and Knowledge Engineering. Piscataway, NJ: IEEE, 2023: 112117[16]Zhang Q, Yang X, Zhou J, et al. BiGGNN: Bidirectional graph gated neural network for smart contract vulnerability detection[J]. Computers & Security, 2023, 129: 103125[17]Chen L, Zha J, Liu Y, et al. CGE: Graph neural network with expert knowledge for smart contract vulnerability detection[J]. IEEE Trans on Dependable and Secure Computing, 2024, 21(3): 18901905[18]Li S, Wu J, Zhang H, et al. ASTNN: Abstract syntax tree based neural network for smart contract vulnerability detection[C] Proc the of 2021 Conf on Empirical Methods in Natural Language Processing. Stroudsburg, PA: ACL, 2021: 89768985[19]Wang Z, Liu Y, Xu B, et al. BGNN4VD: Multiview graph neural network for smart contract vulnerability detection[J]. KnowledgeBased Systems, 2024, 286: 111789[20]刘健, 张悦, 王旭. 基于 BiLSTM 与注意力机制的智能合约重入漏洞检测[J]. 计算机研究与发展, 2022, 59(8): 17561768[21]Zhuang Y, Liu Z, Qian P, et al. DRGCN and TMPN: Graph neural networks for smart contract reentrancy and timestamp dependency vulnerability detection[J]. IEEE Internet of Things Journal, 2023, 10(15): 1324513256[22]Zhang H, Wang L, Zhao J, et al. SVCB: Smart contract vulnerability detection scheme based on CNN and BiLSTM parallel architecture[J]. IEEE Access, 2022, 10: 8924589258[23]Liu Y, Chen L, Zhang Q, et al. Graph attention network based bytecode vulnerability detection for ethereum smart contracts[J]. Computers & Security, 2023, 122: 102987[24]Zhang L, Liu H, Wang Y, et al. CBGRU: A hybrid deep learning architecture for smart contract vulnerability detection[J]. KnowledgeBased Systems, 2024, 281: 111567 |