{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:23:39Z","timestamp":1780053819206,"version":"3.54.0"},"reference-count":55,"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":[{"name":"National Key Research and Development Program of China","award":["2021YFB2700200"],"award-info":[{"award-number":["2021YFB2700200"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172303"],"award-info":[{"award-number":["62172303"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62472323"],"award-info":[{"award-number":["62472323"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Key Research and Development Program of Hubei Province","award":["2022BAA039"],"award-info":[{"award-number":["2022BAA039"]}]},{"name":"Key Research and Development Program of Hubei Province","award":["2024BAB018"],"award-info":[{"award-number":["2024BAB018"]}]},{"name":"Wuhan Scientific and Technical Achievements Project","award":["2024030803010172"],"award-info":[{"award-number":["2024030803010172"]}]},{"DOI":"10.13039\/100014103","name":"Key Technology Research and Development Program of Shandong Province","doi-asserted-by":"publisher","award":["2022CXPT055"],"award-info":[{"award-number":["2022CXPT055"]}],"id":[{"id":"10.13039\/100014103","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Rizhao Natural Science Foundation","award":["RZ2021ZR4"],"award-info":[{"award-number":["RZ2021ZR4"]}]},{"name":"National Research Foundation, SingaporeNational Research Foundation, Singapore, and the Cyber Security Agency under its National Cybersecurity Research and Development Programme","award":["NCRP25-P04-TAICeN"],"award-info":[{"award-number":["NCRP25-P04-TAICeN"]}]},{"name":"DSO National Laboratories under the AI Singapore Programme","award":["AISG2-GC-2023-008"],"award-info":[{"award-number":["AISG2-GC-2023-008"]}]},{"name":"Cyber Security Agency through the National Cybersecurity Research and Development Programme","award":["NCRP25-P04-TAICeN"],"award-info":[{"award-number":["NCRP25-P04-TAICeN"]}]},{"name":"National Research Foundation, Prime Minister\u2019s Office, Singapore, under the Campus for Research Excellence and Technological Enterprise (CREATE) programme"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans.Inform.Forensic Secur."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/tifs.2025.3537827","type":"journal-article","created":{"date-parts":[[2025,2,3]],"date-time":"2025-02-03T18:25:36Z","timestamp":1738607136000},"page":"2157-2170","source":"Crossref","is-referenced-by-count":54,"title":["Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing"],"prefix":"10.1109","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-0709-6420","authenticated-orcid":false,"given":"Ruichao","family":"Liang","sequence":"first","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7212-5297","authenticated-orcid":false,"given":"Jing","family":"Chen","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0930-0283","authenticated-orcid":false,"given":"Cong","family":"Wu","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3472-419X","authenticated-orcid":false,"given":"Kun","family":"He","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1515-3558","authenticated-orcid":false,"given":"Yueming","family":"Wu","sequence":"additional","affiliation":[{"name":"Cyber Security Laboratory, College of Computing and Data Science, Nanyang Technological University, Jurong West, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruochen","family":"Cao","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3634-3385","authenticated-orcid":false,"given":"Ruiying","family":"Du","sequence":"additional","affiliation":[{"name":"Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Cyber Science and Engineering, Wuhan University, Wuhan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ziming","family":"Zhao","sequence":"additional","affiliation":[{"name":"Khoury College of Computer Sciences, Northeastern University, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7300-9215","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Cyber Security Laboratory, College of Computing and Data Science, Nanyang Technological University, Jurong West, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"ref2","volume-title":"What Was the Dao?","author":"Staff","year":"2023"},{"key":"ref3","volume-title":"Poly Network\u2014Rekt","year":"2021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3512345"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639152"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"},{"key":"ref8","first-page":"778","article-title":"SFuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Nguyen"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560429"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3237370"},{"key":"ref13","article-title":"SmarTest: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution","volume-title":"Proc. USENIX Secur. Symp. (USENIX Security)","author":"So"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510230"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1869"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"ref19","first-page":"1343","article-title":"FISHFUZZ: Catch deeper bugs by throwing larger nets","volume-title":"Proc. USENIX Secur. Symp. (USENIX Security)","author":"Zheng"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179296"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref22","article-title":"Smart contract templates: Foundations, design landscape and research directions","author":"Clack","year":"2016","journal-title":"arXiv:1608.00771"},{"key":"ref23","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger Berlin Version","author":"Wood","year":"2022"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"ref25","first-page":"151","article-title":"Automated whitebox fuzz testing","volume-title":"Proc. Netw. Distrib. Syst. Secur. Symp. (NDSS)","author":"Godefroid"},{"key":"ref26","first-page":"5845","article-title":"Fuzz the power: Dual-role state guided black-box fuzzing for USB power delivery","volume-title":"Proc. USENIX Secur. Symp. (USENIX Secur.)","author":"Kim"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3656341"},{"key":"ref29","first-page":"3255","article-title":"Stateful greybox fuzzing","volume-title":"Proc. USENIX Secur. Symp. (USENIX Secur.)","author":"Ba"},{"key":"ref30","article-title":"Abstract syntax tree for programming language understanding and representation: How far are we?","author":"Sun","year":"2023","journal-title":"arXiv:2312.00413"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2019.00023"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref36","volume-title":"NetworkX","year":"2023"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s11042-020-10139-6"},{"key":"ref38","volume-title":"Py-evm","year":"2023"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3182373"},{"key":"ref40","first-page":"530","article-title":"Empirical review of automated analysis tools on 47,587 Ethereum smart contracts","volume-title":"Proc. IEEE\/ACM 42nd Int. Conf. Softw. Eng. (ICSE)","author":"Durieux"},{"key":"ref41","volume-title":"American Fuzzy Lop","year":"2022"},{"key":"ref42","volume-title":"Smart Contract Weakness Classification","year":"2020"},{"key":"ref43","first-page":"9","article-title":"SmartCheck: Static analysis of Ethereum smart contracts","volume-title":"Proc. IEEE\/ACM 1st Int. Workshop Emerg. Trends Softw. Eng. Blockchain (WETSEB)","author":"Tikhomirov"},{"key":"ref44","volume-title":"Mythril","year":"2023"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref46","volume-title":"Etherscan.IO","year":"2023"},{"key":"ref47","volume-title":"BitDegree","year":"2023"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598057"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054822"},{"key":"ref50","article-title":"Mutual information guided backdoor mitigation for pre-trained encoders","author":"Han","year":"2024","journal-title":"arXiv:2406.03508"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEET.2019.00020"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639117"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833751"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3422274"}],"container-title":["IEEE Transactions on Information Forensics and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10206\/10810755\/10869489.pdf?arnumber=10869489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T18:46:17Z","timestamp":1740681977000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10869489\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/tifs.2025.3537827","relation":{},"ISSN":["1556-6013","1556-6021"],"issn-type":[{"value":"1556-6013","type":"print"},{"value":"1556-6021","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}