{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,3]],"date-time":"2026-09-03T11:25:45Z","timestamp":1788434745425,"version":"build-2803163510"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":["62362021"],"award-info":[{"award-number":["62362021"]}],"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":["62402146"],"award-info":[{"award-number":["62402146"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-Tencent Rhino-Bird Open Research Fund","award":["RAGR20230115"],"award-info":[{"award-number":["RAGR20230115"]}]},{"name":"Hainan Provincial Department of Education Project","award":["HNJG2023-10"],"award-info":[{"award-number":["HNJG2023-10"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1109\/tdsc.2025.3605773","type":"journal-article","created":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T17:55:46Z","timestamp":1756922146000},"page":"298-315","source":"Crossref","is-referenced-by-count":6,"title":["Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4238-8846","authenticated-orcid":false,"given":"Wenkai","family":"Li","sequence":"first","affiliation":[{"name":"School of Cyberspace Security, Hainan University, Haikou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6012-9178","authenticated-orcid":false,"given":"Xiaoqi","family":"Li","sequence":"additional","affiliation":[{"name":"School of Cyberspace Security, Hainan University, Haikou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-3308-3466","authenticated-orcid":false,"given":"Yingjie","family":"Mao","sequence":"additional","affiliation":[{"name":"School of Cyberspace Security, Hainan University, Haikou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8306-7195","authenticated-orcid":false,"given":"Yuqing","family":"Zhang","sequence":"additional","affiliation":[{"name":"National Computer Network Intrusion Protection Center, University of Chinese Academy of Sciences, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1","article-title":"COBRA: Interaction-aware bytecode-level vulnerability detector for smart contracts","volume-title":"Proc. 39th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Li"},{"key":"ref2","article-title":"Bigquery - ethereum dataset","year":"2025"},{"key":"ref3","article-title":"Smart contract sanctuary","author":"Martin","year":"2025"},{"key":"ref4","article-title":"Critical update re: Dao vulnerability","author":"Buterin","year":"2025"},{"key":"ref5","article-title":"Compound finance mis-rewarded around $80 M worth comp to the users","author":"Staff","year":"2025"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref9","first-page":"789","article-title":"Targeted greybox fuzzing with static lookahead analysis","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"W\u00fcstholz"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23413"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3178876.3186046"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOMWKSHPS54753.2022.9798296"},{"key":"ref13","first-page":"1400","article-title":"When deep learning meets smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Gao"},{"key":"ref14","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":"ref15","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2023.23263"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560622"},{"key":"ref18","article-title":"Go ethereum:official go implementation of the ethereum protocol","author":"Adam","year":"2025"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534218"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534378"},{"issue":"14","key":"ref21","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum Project Yellow Paper."},{"key":"ref22","article-title":"Solidity documentation\u2013contract ABI specification","author":"Authors","year":"2025"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3078342"},{"key":"ref24","article-title":"Ethereum signature database","year":"2025"},{"key":"ref25","article-title":"First iteration of the decentralized application security project top 10","year":"2025"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2989002"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2023.3234895"},{"key":"ref29","first-page":"1325","article-title":"Smart contract vulnerabilities: Vulnerable does not imply exploited","volume-title":"Proc. 30th USENIX Secur. Symp.","author":"Perez"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref31","article-title":"The ethereum blockchain explorer","year":"2025"},{"key":"ref32","article-title":"Pyevmasm\u2019s documentation","year":"2025"},{"key":"ref33","article-title":"Rattle","year":"2025"},{"key":"ref34","article-title":"evm_cfg_builder","year":"2025"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3545948.3545975"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC52881.2021.00021"},{"key":"ref37","article-title":"Enhancing ethereum smart-contracts static analysis by computing a precise control-flow graph of ethereum bytecode","volume":"200","author":"Benini","year":"2023","journal-title":"J. Syst. Softw."},{"key":"ref38","article-title":"Solidity releases","author":"Beregszaszi","year":"2025"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.324"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/WACV48630.2021.00360"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/OJCS.2020.2990458"},{"key":"ref43","first-page":"530","article-title":"Empirical review of automated analysis tools on 47,587 ethereum smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Durieux"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2021.3080664"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2025.103189"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00120"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3558927"},{"key":"ref48","article-title":"Common vulnerability scoring system","year":"2025"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/379"},{"key":"ref50","article-title":"Pyevmasm\u2019s documentation","year":"2025"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2021.3050051"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598124"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534372"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00087"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3639173"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3400294"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2025.3547243"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3744709"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.dcan.2023.07.009"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/SANER64311.2025.00020"},{"key":"ref61","article-title":"Eveem\/panoramix\u2013showing contract sources","author":"Kolinko","year":"2025"},{"key":"ref62","article-title":"Online solidity decompiler","year":"2025"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111627"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616343"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8858\/11354469\/11150479.pdf?arnumber=11150479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T23:23:29Z","timestamp":1768951409000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11150479\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1]]},"references-count":64,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2025.3605773","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1]]}}}