{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T21:36:40Z","timestamp":1775079400474,"version":"3.50.1"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62372105"],"award-info":[{"award-number":["62372105"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["2242023K30034"],"award-info":[{"award-number":["2242023K30034"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004608","name":"Leading-Edge Technology Program of Jiangsu Natural Science Foundation","doi-asserted-by":"publisher","award":["BK20202001"],"award-info":[{"award-number":["BK20202001"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/tifs.2025.3580224","type":"journal-article","created":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T18:56:40Z","timestamp":1750100200000},"page":"6117-6132","source":"Crossref","is-referenced-by-count":1,"title":["SmartGuard: Making Prediction Verifiable Through Transaction Sequences for Smart Contract Vulnerability Detection"],"prefix":"10.1109","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9248-6209","authenticated-orcid":false,"given":"Jie","family":"Chen","sequence":"first","affiliation":[{"name":"School of Cyber Science and Engineering, Southeast University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0048-5979","authenticated-orcid":false,"given":"Liangmin","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Cyber Science and Engineering, Southeast University, Nanjing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2751-2607","authenticated-orcid":false,"given":"Huijuan","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Communication Technology, Jiangsu University, Zhenjiang, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-financial-110921-022806"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179435"},{"key":"ref3","article-title":"Digital currency Ethereum is cratering because of a $50 million hack","volume":"16","author":"Price","year":"2016","journal-title":"Business Insider"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00066"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2020.101227"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560428"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/454"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2021.3095196"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE52982.2021.00047"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/s41598-023-47219-0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3087402"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00188"},{"key":"ref14","first-page":"1349","article-title":"SmartBugs: A framework to analyze solidity smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng. (ASE)","author":"Ferreira"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3401623"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3390\/electronics13122295"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2969429"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2020.2968505"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3372885.3373829"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3176245.3167084"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref23","article-title":"Mythril-reversing and bug hunting framework for the Ethereum blockchain","author":"Mueller","year":"2017"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560429"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3237370"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57685-5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00262-6_5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180166"},{"key":"ref32","first-page":"27","article-title":"Learning to accelerate symbolic execution via code transformation","volume-title":"Proc. 32nd Eur. Conf. Object-Oriented Program. (ECOOP)","volume":"109","author":"Chen"},{"key":"ref33","first-page":"554","article-title":"Symbolic execution of complex program driven by machine learning based constraint solving","volume-title":"Proc. 31st IEEE\/ACM Int. Conf. Automated Softw. Eng. (ASE)","author":"Li"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23530"},{"key":"ref35","article-title":"Constraint solving with deep learning for symbolic execution","author":"Wen","year":"2020","journal-title":"arXiv:2003.08350"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3471621.3471865"},{"key":"ref37","first-page":"1361","article-title":"SmarTest: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution","volume-title":"Proc. 30th USENIX Secur. Symp.","author":"So"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.01752"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3234895"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598057"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00036"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-1026"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2021.3070203"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939754"},{"key":"ref45","first-page":"1","article-title":"Gated graph sequence neural networks","volume-title":"Proc. ICLR","author":"Li"},{"key":"ref46","first-page":"282","article-title":"Conditional random fields: Probabilistic models for segmenting and labeling sequence data","volume-title":"Proc. 18th Int. Conf. Mach. Learn. (ICML)","author":"Lafferty"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23413"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2019.00052"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385990"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1996.548916"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.21437\/Interspeech.2014-80"},{"key":"ref55","article-title":"Empirical evaluation of gated recurrent neural networks on sequence modeling","author":"Chung","year":"2014","journal-title":"arXiv:1412.3555"},{"key":"ref56","volume-title":"Solidity Release Announcement","year":"2020"},{"key":"ref57","volume-title":"Solidity Release Announcement","year":"2018"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3383422"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.222"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10206\/10810755\/11037432.pdf?arnumber=11037432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T18:21:37Z","timestamp":1750875697000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11037432\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/tifs.2025.3580224","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}