{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,9]],"date-time":"2026-10-09T10:09:03Z","timestamp":1791540543824,"version":"4.3.4"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T00:00:00Z","timestamp":1709251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Singapore-UK Cyber Security of EPSRC","award":["EP\/N020170\/1"],"award-info":[{"award-number":["EP\/N020170\/1"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1007\/s10515-024-00418-z","type":"journal-article","created":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T14:04:39Z","timestamp":1709301879000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts"],"prefix":"10.1007","volume":"31","author":[{"given":"Yang","family":"Liu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yan","family":"Ma","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,3,1]]},"reference":[{"key":"418_CR2","doi-asserted-by":"crossref","unstructured":"Bhargavan, K. et al.: Formal verification of smart contracts: Short paper. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pp. 91\u201396 (2016)","DOI":"10.1145\/2993600.2993611"},{"key":"418_CR3","unstructured":"Brent, L. et al.: Vandal: A scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981, (2018)"},{"key":"418_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111550","volume":"195","author":"J Cai","year":"2023","unstructured":"Cai, J., Li, B., Zhang, J., Sun, X., Chen, B.: Combine sliced joint graph with graph neural networks for smart contract vulnerability detection. J. Syst. Softw. 195, 111550 (2023)","journal-title":"J. Syst. Softw."},{"key":"418_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-2535-6","volume-title":"Introducing Ethereum and Solidity","author":"C Dannen","year":"2017","unstructured":"Dannen, C.: Introducing Ethereum and Solidity, vol. 1. Springer, Berlin (2017)"},{"issue":"4","key":"418_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2021.102587","volume":"58","author":"S Fan","year":"2021","unstructured":"Fan, S., Fu, S., Xu, H., Cheng, X.: Al-SPSD: anti-leakage smart Ponzi schemes detection in blockchain. Inf. Process. Manage. 58(4), 102587 (2021)","journal-title":"Inf. Process. Manage."},{"key":"418_CR7","doi-asserted-by":"crossref","unstructured":"Feist, J., Grieco, G., Groce, A.: Slither: a static analysis framework for smart contracts. In: 2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), IEEE, pp. 8\u201315 (2019)","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"418_CR8","doi-asserted-by":"crossref","unstructured":"Feldman, Y. M., Sagiv, M., Shoham, S. Wilcox, J. R.: Learning the boundary of inductive invariants. In: Proceedings of the ACM on Programming Languages, vol. 5, no. POPL, pp. 1\u201330, (2021)","DOI":"10.1145\/3434296"},{"key":"418_CR9","doi-asserted-by":"crossref","unstructured":"Feng, Y., Torlak, E., Bod\u00edk, R.: Summary-based symbolic evaluation for smart contracts. In: Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, pp. 1141\u20131152 (2020)","DOI":"10.1145\/3324884.3416646"},{"key":"418_CR10","doi-asserted-by":"crossref","unstructured":"Fey, G.: Assessing system vulnerability using formal verification techniques. In: International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (pp. 47\u201356) (Springer: 2011)","DOI":"10.1007\/978-3-642-25929-6_4"},{"key":"418_CR11","doi-asserted-by":"crossref","unstructured":"Fu, Y. : Evmfuzzer: detect evm vulnerabilities via fuzz testing. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1110\u20131114 (2019)","DOI":"10.1145\/3338906.3341175"},{"key":"418_CR12","doi-asserted-by":"publisher","first-page":"1978","DOI":"10.1109\/TIP.2023.3261747","volume":"32","author":"G Gao","year":"2023","unstructured":"Gao, G., Xu, Z., Li, J., Yang, J., Zeng, T., Qi, G.-J.: Ctcnet: a cnn-transformer cooperation network for face image super-resolution. IEEE Trans. Image Process. 32, 1978\u20131991 (2023)","journal-title":"IEEE Trans. Image Process."},{"key":"418_CR13","volume-title":"Blockchain: Hype or Innovation","author":"T Gayvoronskaya","year":"2020","unstructured":"Gayvoronskaya, T., Meinel, C.: Blockchain: Hype or Innovation. Springer Nature, Berlin (2020)"},{"key":"418_CR14","doi-asserted-by":"crossref","unstructured":"Ghaleb, A., Rubin, J., Pattabiraman, K.: eTainter: detecting gas-related vulnerabilities in smart contracts. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 728\u2013739 (2022)","DOI":"10.1145\/3533767.3534378"},{"key":"418_CR15","doi-asserted-by":"crossref","unstructured":"Grech, N., Kong, M., Jurisevic, A., Brent, L., Scholz, B., Smaragdakis, Y.: Madmax: Surviving out-of-gas conditions in ethereum smart contracts. In: Proceedings of the ACM on Programming Languages, vol. 2, no. OOPSLA, pp. 1\u201327, (2018)","DOI":"10.1145\/3276486"},{"key":"418_CR16","doi-asserted-by":"crossref","unstructured":"Grieco, G., Song, W., Cygan, A., Feist, J., Groce, A.: Echidna: effective, usable, and fast fuzzing for smart contracts. In: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 557\u2013560 (2020)","DOI":"10.1145\/3395363.3404366"},{"key":"418_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2021.107583","volume":"97","author":"R Gupta","year":"2022","unstructured":"Gupta, R., Patel, M.M., Shukla, A., Tanwar, S.: Deep learning-based malicious smart contract detection scheme for internet of things environment. Comput. Electr. Eng. 97, 107583 (2022)","journal-title":"Comput. Electr. Eng."},{"issue":"5","key":"418_CR18","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/MNET.001.1900656","volume":"34","author":"D He","year":"2020","unstructured":"He, D., Deng, Z., Zhang, Y., Chan, S., Cheng, Y., Guizani, N.: Smart contract vulnerability analysis and security audit. IEEE Netw. 34(5), 276\u2013282 (2020)","journal-title":"IEEE Netw."},{"key":"418_CR19","doi-asserted-by":"crossref","unstructured":"He, J., Balunovi\u0107, M., Ambroladze, N., Tsankov, P., Vechev, M.: Learning to fuzz from symbolic execution with application to smart contracts. In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, pp. 531\u2013548 (2019)","DOI":"10.1145\/3319535.3363230"},{"key":"418_CR20","doi-asserted-by":"crossref","unstructured":"He, D., Wu, R., Li, X., Chan, S., Guizani, M.: Detection of vulnerabilities of blockchain smart contracts, IEEE Internet Things J., (2023)","DOI":"10.1109\/JIOT.2023.3241544"},{"key":"418_CR21","unstructured":"Hessenauer, S.: Batch Overflow bug on Ethereum ERC20 token contracts and SafeMath. https:\/\/blog.matryx.ai\/batch-overflow-bug-on-ethereum-erc20-token-contracts-and-safemath-f9ebcc137434 (2018)"},{"key":"418_CR22","unstructured":"Howell, J.: Top 10 DeFi Hacks You Should Know. https:\/\/101blockchains.com\/top-defi-hacks\/ (2022)"},{"issue":"2","key":"418_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2020.102462","volume":"58","author":"T Hu","year":"2021","unstructured":"Hu, T., et al.: Transaction-based classification and detection approach for Ethereum smart contract. Inf. Process. Manage 58(2), 102462 (2021)","journal-title":"Inf. Process. Manage"},{"key":"418_CR24","doi-asserted-by":"crossref","unstructured":"Hu, T., Li, B., Pan, Z., Qian, C.: Detect defects of solidity smart contract based on the knowledge graph. IEEE Trans. Reliabil. (2023)","DOI":"10.1109\/TR.2023.3233999"},{"key":"418_CR25","unstructured":"Huang, T.H.-D.: Hunting the ethereum smart contract: Color-inspired inspection of potential attacks. arXiv preprint arXiv:1807.01868, (2018)"},{"key":"418_CR26","doi-asserted-by":"publisher","first-page":"2144","DOI":"10.1109\/TIFS.2021.3050051","volume":"16","author":"J Huang","year":"2021","unstructured":"Huang, J., et al.: Hunting vulnerable smart contracts via graph embedding based bytecode matching. IEEE Trans. Inf. Forensics Secur. 16, 2144\u20132156 (2021)","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"issue":"5","key":"418_CR27","doi-asserted-by":"publisher","first-page":"1829","DOI":"10.3390\/s22051829","volume":"22","author":"J Huang","year":"2022","unstructured":"Huang, J., Zhou, K., Xiong, A., Li, D.: Smart contract vulnerability detection model based on multi-task learning. Sensors 22(5), 1829 (2022)","journal-title":"Sensors"},{"key":"418_CR28","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2023.107213","volume":"159","author":"S Ji","year":"2023","unstructured":"Ji, S., Wu, J., Qiu, J., Dong, J.: Effuzz: efficient fuzzing by directed search for smart contracts. Inf. Softw. Technol. 159, 107213 (2023)","journal-title":"Inf. Softw. Technol."},{"key":"418_CR29","doi-asserted-by":"crossref","unstructured":"Jiang, B., Liu, Y., Chan, W.K.: Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, pp. 259\u2013269 (2018)","DOI":"10.1145\/3238147.3238177"},{"key":"418_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2023.03.132","volume":"636","author":"W Jie","year":"2023","unstructured":"Jie, W., et al.: A novel extended multimodal AI framework towards vulnerability detection in smart contracts. Inf. Sci. 636, 118907 (2023)","journal-title":"Inf. Sci."},{"issue":"11","key":"418_CR31","doi-asserted-by":"publisher","first-page":"4611","DOI":"10.1109\/TSE.2021.3123170","volume":"48","author":"H Jin","year":"2021","unstructured":"Jin, H., Wang, Z., Wen, M., Dai, W., Zhu, Y., Zou, D.: Aroc: an automatic repair framework for on-chain smart contracts. IEEE Trans. Softw. Eng. 48(11), 4611\u20134629 (2021)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"418_CR32","doi-asserted-by":"crossref","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: Zeus: analyzing safety of smart contracts. In: Ndss, pp. 1\u201312 (2018)","DOI":"10.14722\/ndss.2018.23082"},{"issue":"1","key":"418_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s42400-018-0002-y","volume":"1","author":"J Li","year":"2018","unstructured":"Li, J., Zhao, B., Zhang, C.: Fuzzing: a survey. Cybersecurity 1(1), 1\u201313 (2018)","journal-title":"Cybersecurity"},{"issue":"2","key":"418_CR34","doi-asserted-by":"publisher","first-page":"984","DOI":"10.1109\/TR.2022.3161634","volume":"71","author":"B Li","year":"2022","unstructured":"Li, B., Pan, Z., Hu, T.: Redefender: detecting reentrancy vulnerabilities in smart contracts automatically. IEEE Trans. Reliab. 71(2), 984\u2013999 (2022)","journal-title":"IEEE Trans. Reliab."},{"key":"418_CR35","doi-asserted-by":"crossref","unstructured":"Li, J. et al.: Multi-label text classification via hierarchical Transformer-CNN. In: 2022 14th International Conference on Machine Learning and Computing (ICMLC), pp. 120\u2013125 (2022)","DOI":"10.1145\/3529836.3529912"},{"key":"418_CR36","doi-asserted-by":"crossref","unstructured":"Liao, J.-W., Tsai, T.-T., He, C.-K., Tien, C.-W.: Soliaudit: Smart contract vulnerability assessment based on machine learning and fuzz testing. In: 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS), IEEE, pp. 458\u2013465 (2019)","DOI":"10.1109\/IOTSMS48152.2019.8939256"},{"issue":"10","key":"418_CR37","doi-asserted-by":"publisher","first-page":"1825","DOI":"10.1109\/JPROC.2020.2993293","volume":"108","author":"G Lin","year":"2020","unstructured":"Lin, G., Wen, S., Han, Q.-L., Zhang, J., Xiang, Y.: Software vulnerability detection using deep neural networks: a survey. Proc. IEEE 108(10), 1825\u20131848 (2020)","journal-title":"Proc. IEEE"},{"key":"418_CR38","doi-asserted-by":"crossref","unstructured":"Liu, C., Liu, H., Cao, Z., Chen, Z., Chen, B., Roscoe, B.: Reguard: finding reentrancy bugs in smart contracts. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, pp. 65\u201368 (2018)","DOI":"10.1145\/3183440.3183495"},{"key":"418_CR39","doi-asserted-by":"crossref","unstructured":"Liu, Z., Qian, P., Wang, X., Zhuang, Y., Qiu, L., Wang, X.: Combining graph neural networks with expert knowledge for smart contract vulnerability detection, IEEE Trans. Knowled. Data Eng, (2021a)","DOI":"10.1109\/TKDE.2021.3095196"},{"key":"418_CR40","doi-asserted-by":"crossref","unstructured":"Liu, Z., Qian, P., Wang, X., Zhu, L., He, Q., Ji, S.: Smart contract vulnerability detection: from pure neural network to interpretable graph feature and expert pattern fusion. arXiv preprint arXiv:2106.09282, (2021b)","DOI":"10.24963\/ijcai.2021\/379"},{"key":"418_CR41","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D.-H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 254\u2013269 (2016)","DOI":"10.1145\/2976749.2978309"},{"issue":"11","key":"418_CR42","doi-asserted-by":"publisher","first-page":"4380","DOI":"10.1109\/TSE.2021.3117966","volume":"48","author":"F Ma","year":"2021","unstructured":"Ma, F., et al.: Pluto: exposing vulnerabilities in inter-contract scenarios. IEEE Trans. Softw. Eng. 48(11), 4380\u20134396 (2021)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"418_CR43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2021.102854","volume":"59","author":"J Ma","year":"2022","unstructured":"Ma, J., Hao, Z., Sun, W.: Enhancing sparrow search algorithm via multi-strategies for continuous optimization problems. Inf. Process. Manage. 59(2), 102854 (2022)","journal-title":"Inf. Process. Manage."},{"issue":"1","key":"418_CR44","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4018\/JCIT.2019010102","volume":"21","author":"MI Mehar","year":"2019","unstructured":"Mehar, M.I., et al.: Understanding a revolutionary and flawed grand experiment in blockchain: the DAO attack. J. Cases Inform. Technol. 21(1), 19\u201332 (2019)","journal-title":"J. Cases Inform. Technol."},{"key":"418_CR45","doi-asserted-by":"crossref","unstructured":"Mossberg, M. et al.: Manticore: A user-friendly symbolic execution framework for binaries and smart contracts. In: 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE), IEEE, pp. 1186\u20131189 (2019)","DOI":"10.1109\/ASE.2019.00133"},{"key":"418_CR46","first-page":"54","volume":"9","author":"B Mueller","year":"2018","unstructured":"Mueller, B.: Smashing ethereum smart contracts for fun and real profit. HITB SECCONF Amsterdam 9, 54 (2018)","journal-title":"HITB SECCONF Amsterdam"},{"key":"418_CR1","unstructured":"\u201cMythril.\u201d 2017. [Online]. Available: https:\/\/github.com\/ConsenSys\/mythril."},{"key":"418_CR47","unstructured":"Nakamoto, S.: \u201cBitcoin: A peer-to-peer electronic cash system,\u201d Decentralized Business Review, p. 21260, (2008)"},{"key":"418_CR48","doi-asserted-by":"crossref","unstructured":"Nikoli\u0107, I., Kolluri, A., Sergey, I., Saxena, P., Hobor, A.: Finding the greedy, prodigal, and suicidal contracts at scale. In: Proceedings of the 34th Annual Computer Security Applications Conference, pp. 653\u2013663 (2018)","DOI":"10.1145\/3274694.3274743"},{"key":"418_CR49","unstructured":"Palladino, S.: The parity wallet hack explained, OpenZeppelin blog, https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7, 2017."},{"key":"418_CR50","unstructured":"Perez, D., Livshits, B.: Smart contract vulnerabilities: vulnerable does not imply exploited. In: USENIX Security Symposium, pp. 1325\u20131341 (2021)"},{"issue":"19","key":"418_CR51","doi-asserted-by":"publisher","first-page":"3260","DOI":"10.3390\/electronics11193260","volume":"11","author":"S Qian","year":"2022","unstructured":"Qian, S., Ning, H., He, Y., Chen, M.: Multi-label vulnerability detection of smart contracts based on Bi-LSTM and attention mechanism. Electronics 11(19), 3260 (2022)","journal-title":"Electronics"},{"key":"418_CR52","doi-asserted-by":"crossref","unstructured":"Rodler, M., Li, W., Karame, G.O., Davi, L.: Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934, (2018)","DOI":"10.14722\/ndss.2019.23413"},{"key":"418_CR53","doi-asserted-by":"crossref","unstructured":"Sendner, C. et al.: Smarter contracts: detecting vulnerabilities in smart contracts with deep transfer learning, (2023).","DOI":"10.14722\/ndss.2023.23263"},{"issue":"8","key":"418_CR54","doi-asserted-by":"publisher","first-page":"4393","DOI":"10.1002\/int.22723","volume":"37","author":"L Shi","year":"2022","unstructured":"Shi, L., Du, J., Cheng, G., Liu, X., Xiong, Z., Luo, J.: Cross-media search method based on complementary attention and generative adversarial network for social networks. Int. J. Intell. Syst. 37(8), 4393\u20134416 (2022)","journal-title":"Int. J. Intell. Syst."},{"key":"418_CR55","volume":"73","author":"X Sun","year":"2023","unstructured":"Sun, X., Tu, L., Zhang, J., Cai, J., Li, B., Wang, Y.: ASSBert: active and semi-supervised bert for smart contract vulnerability detection. J. Inform. Secur. Appl. 73, 103423 (2023)","journal-title":"J. Inform. Secur. Appl."},{"key":"418_CR56","doi-asserted-by":"crossref","unstructured":"Sun, Y., Gu, L.: Attention-based machine learning model for smart contract vulnerability detection. In: Journal of Physics: Conference Series, IOP Publishing, p. 012004 (2021)","DOI":"10.1088\/1742-6596\/1820\/1\/012004"},{"issue":"2","key":"418_CR57","first-page":"28","volume":"18","author":"N Szabo","year":"1996","unstructured":"Szabo, N.: Smart contracts: building blocks for digital markets. EXTROPY: J. Transhumanist Thought (16) 18(2), 28 (1996)","journal-title":"EXTROPY: J. Transhumanist Thought (16)"},{"key":"418_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TIM.2023.3238059","volume":"72","author":"JB Thomas","year":"2023","unstructured":"Thomas, J.B., Chaudhari, S.G., Shihabudheen, K.V., Verma, N.K.: CNN-based transformer model for fault detection in power system networks. IEEE Trans. Instrum. Meas. 72, 1\u201310 (2023)","journal-title":"IEEE Trans. Instrum. Meas."},{"key":"418_CR59","doi-asserted-by":"crossref","unstructured":"Tikhomirov, S., Voskresenskaya, E., Ivanitskiy, I., Takhaviev, R., Marchenko, E., Alexandrov, Y.: Smartcheck: Static analysis of ethereum smart contracts. In: Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain, pp. 9\u201316 (2018)","DOI":"10.1145\/3194113.3194115"},{"key":"418_CR60","doi-asserted-by":"crossref","unstructured":"Torres, C.F., Sch\u00fctte, J., State, R.: Osiris: Hunting for integer bugs in ethereum smart contracts. In: Proceedings of the 34th Annual Computer Security Applications Conference, pp. 664\u2013676 (2018)","DOI":"10.1145\/3274694.3274737"},{"key":"418_CR61","doi-asserted-by":"crossref","unstructured":"Tsankov, P., Dan, A., Drachsler-Cohen, D., Gervais, A., Buenzli, F., Vechev, M.: Securify: Practical security analysis of smart contracts. In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, pp. 67\u201382 (2018)","DOI":"10.1145\/3243734.3243780"},{"key":"418_CR62","unstructured":"Vaswani, A. et al.: Attention is all you need, Adv. Neural Inform. Process. Syst., vol. 30, (2017)"},{"key":"418_CR63","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.comcom.2021.03.008","volume":"172","author":"AL Vivar","year":"2021","unstructured":"Vivar, A.L., Orozco, A.L.S., Villalba, L.J.G.: A security framework for ethereum smart contracts. Comput. Commun. 172, 119\u2013129 (2021)","journal-title":"Comput. Commun."},{"issue":"2","key":"418_CR64","first-page":"314","volume":"13","author":"X Wang","year":"2019","unstructured":"Wang, X., He, J., Xie, Z., Zhao, G., Cheung, S.-C.: ContractGuard: defend ethereum smart contracts with embedded intrusion detection. IEEE Trans. Serv. Comput. 13(2), 314\u2013328 (2019)","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"2","key":"418_CR65","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1109\/TNSE.2020.2968505","volume":"8","author":"W Wang","year":"2020","unstructured":"Wang, W., Song, J., Xu, G., Li, Y., Wang, H., Su, C.: Contractward: automated vulnerability detection models for ethereum smart contracts. IEEE Trans. Netw. Sci. Eng. 8(2), 1133\u20131144 (2020)","journal-title":"IEEE Trans. Netw. Sci. Eng."},{"key":"418_CR66","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2021.107312","volume":"228","author":"L Wang","year":"2021","unstructured":"Wang, L., Cheng, H., Zheng, Z., Yang, A., Zhu, X.: Ponzi scheme detection via oversampling-based Long Short-Term Memory for smart contracts. Knowl.-Based Syst. 228, 107312 (2021)","journal-title":"Knowl.-Based Syst."},{"issue":"2014","key":"418_CR67","first-page":"1","volume":"151","author":"G Wood","year":"2014","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151(2014), 1\u201332 (2014)","journal-title":"Ethereum Project Yellow Paper"},{"issue":"2","key":"418_CR68","doi-asserted-by":"publisher","first-page":"770","DOI":"10.3390\/app13020770","volume":"13","author":"H Wu","year":"2023","unstructured":"Wu, H., Dong, H., He, Y., Duan, Q.: Smart contract vulnerability detection based on hybrid attention mechanism model. Appl. Sci. 13(2), 770 (2023)","journal-title":"Appl. Sci."},{"key":"418_CR69","doi-asserted-by":"crossref","unstructured":"Xing, C., Chen, Z., Chen, L., Guo, X., Zheng, Z., Li, J.: A new scheme of vulnerability analysis in smart contract with machine learning. Wireless Networks, pp. 1\u201310, (2020)","DOI":"10.1007\/s11276-020-02379-z"},{"key":"418_CR70","first-page":"1","volume":"2021","author":"Y Xu","year":"2021","unstructured":"Xu, Y., Hu, G., You, L., Cao, C.: A novel machine learning-based analysis model for smart contract vulnerability. Secur. Commun. Netw. 2021, 1\u201312 (2021)","journal-title":"Secur. Commun. Netw."},{"key":"418_CR71","doi-asserted-by":"crossref","unstructured":"Xue, Y., Ma, M., Lin, Y., Sui, Y., Ye, J., Peng, T.: Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. In: Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering, pp. 1029\u20131040 (2020)a","DOI":"10.1145\/3324884.3416553"},{"issue":"1","key":"418_CR72","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1080\/21642583.2019.1708830","volume":"8","author":"J Xue","year":"2020","unstructured":"Xue, J., Shen, B.: A novel swarm intelligence optimization approach: sparrow search algorithm. Syst. Sci. Control Eng. 8(1), 22\u201334 (2020). https:\/\/doi.org\/10.1080\/21642583.2019.1708830","journal-title":"Syst. Sci. Control Eng."},{"key":"418_CR73","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111410","volume":"192","author":"J Ye","year":"2022","unstructured":"Ye, J., Ma, M., Lin, Y., Ma, L., Xue, Y., Zhao, J.: Vulpedia: detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures. J. Syst. Softw. 192, 111410 (2022)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"418_CR74","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3402450","volume":"29","author":"XL Yu","year":"2020","unstructured":"Yu, X.L., Al-Bataineh, O., Lo, D., Roychoudhury, A.: Smart contract repair. ACM Trans. Softw. Eng. Methodol. 29(4), 1\u201332 (2020)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"418_CR75","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2022.109228","volume":"136","author":"F Yuan","year":"2023","unstructured":"Yuan, F., Zhang, Z., Fang, Z.: An effective CNN and Transformer complementary network for medical image segmentation. Pattern Recogn. 136, 109228 (2023)","journal-title":"Pattern Recogn."},{"key":"418_CR76","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1016\/j.ins.2021.10.076","volume":"587","author":"I Zelinka","year":"2022","unstructured":"Zelinka, I., et al.: Impact of chaotic dynamics on the performance of metaheuristic optimization algorithms: an experimental analysis. Inf. Sci. 587, 692\u2013719 (2022)","journal-title":"Inf. Sci."},{"issue":"12","key":"418_CR77","doi-asserted-by":"publisher","first-page":"4621","DOI":"10.3390\/s22124621","volume":"22","author":"L Zhang","year":"2022","unstructured":"Zhang, L., et al.: SPCBIG-EC: a robust serial hybrid model for smart contract vulnerability detection. Sensors 22(12), 4621 (2022a)","journal-title":"Sensors"},{"key":"418_CR78","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2022.109289","volume":"217","author":"L Zhang","year":"2022","unstructured":"Zhang, L., Wang, J., Wang, W., Jin, Z., Su, Y., Chen, H.: Smart contract vulnerability detection combined with multi-objective detection. Comput. Netw. 217, 109289 (2022b)","journal-title":"Comput. Netw."},{"key":"418_CR79","doi-asserted-by":"crossref","unstructured":"Zheng, P., Zheng, Z., Luo, X.: Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution. In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 740\u2013751 (2022)","DOI":"10.1145\/3533767.3534395"},{"issue":"24","key":"418_CR80","doi-asserted-by":"publisher","first-page":"24695","DOI":"10.1109\/JIOT.2022.3196269","volume":"9","author":"Q Zhou","year":"2022","unstructured":"Zhou, Q., Zheng, K., Zhang, K., Hou, L., Wang, X.: Vulnerability analysis of smart contract for blockchain-based IoT applications: a machine learning approach. IEEE Internet Things J. 9(24), 24695\u201324707 (2022a)","journal-title":"IEEE Internet Things J."},{"key":"418_CR81","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111257","volume":"188","author":"Y Zhou","year":"2022","unstructured":"Zhou, Y., Shen, J., Zhang, X., Yang, W., Han, T., Chen, T.: Automatic source code summarization with graph attention networks. J. Syst. Softw. 188, 111257 (2022b)","journal-title":"J. Syst. Softw."},{"key":"418_CR82","doi-asserted-by":"crossref","unstructured":"Zhuang, Y., Liu, Z., Qian, P., Liu, Q., Wang, X., He, Q.: Smart contract vulnerability detection using graph neural network. In: IJCAI, pp. 3283\u20133290 (2020)","DOI":"10.24963\/ijcai.2020\/454"},{"issue":"10","key":"418_CR83","doi-asserted-by":"publisher","first-page":"2084","DOI":"10.1109\/TSE.2019.2942301","volume":"47","author":"W Zou","year":"2019","unstructured":"Zou, W., et al.: Smart contract development: challenges and opportunities. IEEE Trans. Softw. Eng. 47(10), 2084\u20132106 (2019)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-024-00418-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-024-00418-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-024-00418-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T09:22:53Z","timestamp":1714382573000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-024-00418-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,1]]},"references-count":83,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,5]]}},"alternative-id":["418"],"URL":"https:\/\/doi.org\/10.1007\/s10515-024-00418-z","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,1]]},"assertion":[{"value":"9 July 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 March 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflicts of interest in this work.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"24"}}