{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T02:42:54Z","timestamp":1770777774379,"version":"3.50.0"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"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":["61972360"],"award-info":[{"award-number":["61972360"]}],"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":["62072392"],"award-info":[{"award-number":["62072392"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007129","name":"Natural Science Foundation of Shandong Province","doi-asserted-by":"publisher","award":["ZR2024MF111"],"award-info":[{"award-number":["ZR2024MF111"]}],"id":[{"id":"10.13039\/501100007129","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1109\/tr.2024.3488814","type":"journal-article","created":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T18:52:40Z","timestamp":1731523960000},"page":"2708-2722","source":"Crossref","is-referenced-by-count":1,"title":["ReenSAT: Reentrancy Vulnerability Detection in Smart Contracts Using Semantic-Enhanced SAT Evaluation"],"prefix":"10.1109","volume":"74","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9539-6209","authenticated-orcid":false,"given":"Long","family":"He","sequence":"first","affiliation":[{"name":"School of Computer and Control Engineering, Yantai University, Yantai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5870-5730","authenticated-orcid":false,"given":"Xiangfu","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Computer and Control Engineering, Yantai University, Yantai, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7189-3163","authenticated-orcid":false,"given":"Yichen","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer and Control Engineering, Yantai University, Yantai, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2489837.2489838"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3555776.3577703"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-2535-6"},{"key":"ref4","article-title":"Alchemy","year":"2023"},{"key":"ref5","article-title":"Ethereum","year":"2023"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65745-1_2"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOMW.2019.8845133"},{"key":"ref8","first-page":"52","article-title":"Building a taxonomy for gambling smart contracts","volume-title":"Proc. Eur. Conf. Inf. Syst.","author":"Kolb","year":"2020"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s42488-021-00056-0"},{"key":"ref10","article-title":"Slowmist","year":"2023"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAI.2017.8248566"},{"key":"ref12","article-title":"Spankchain","year":"2018"},{"key":"ref13","article-title":"Synthetix","year":"2023"},{"key":"ref14","article-title":"Lendf.me","author":"Cimpanu","year":"2020"},{"key":"ref15","article-title":"Cream finance","year":"2021"},{"key":"ref16","article-title":"Fei","author":"Fei","year":"2022"},{"key":"ref17","article-title":"Conic finance","author":"Finance","year":"2023"},{"key":"ref18","article-title":"Earning.farm","year":"2023"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00036"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref21","article-title":"Mythril","author":"Mueller","year":"2023"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref23","article-title":"Securify2","author":"Tsankov","year":"2021"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833721"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/202530.202534"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-5888-2.ch705"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.pnsc.2008.07.017"},{"key":"ref31","first-page":"1349","article-title":"SmartBugs: A framework to analyze solidity smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Ferreira","year":"2020"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref33","first-page":"502","article-title":"An extensible SAT-solver","volume-title":"Proc. Int. Conf. Theory Appl. Satisfiability Testing","author":"En","year":"2003"},{"key":"ref34","first-page":"339","article-title":"Predicting learnt clauses quality in modern SAT solvers","volume-title":"Proc. 21st Int. joint Conf. Artif. Intell.","author":"Audemard","year":"2009"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"ref36","article-title":"Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010","author":"Biere","year":"2010"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17196-3_8"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888923000097"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-022-09339-8"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2021.3115130"},{"key":"ref41","article-title":"Sat competitions","year":"2023"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3548683"},{"key":"ref43","first-page":"1029","article-title":"Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts","volume-title":"Proc. 35th IEEE\/ACM Int. Conf. Automated Softw. Eng.","author":"Xue","year":"2020"},{"key":"ref44","first-page":"274","article-title":"Clairvoyance: Cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.: Companion","author":"Ye","year":"2020"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/3194113.3194115","article-title":"SmartCheck: Static analysis of Ethereum smart contracts","volume-title":"Proc. 1st Int. Workshop Emerg. Trends Softw. Eng. Blockchain","author":"Tikhomirov","year":"2018"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.3233\/faia230374"},{"key":"ref47","article-title":"Vandal: A scalable security analysis framework for smart contracts","author":"Brent","year":"2018"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2022.3161634"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00098"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/24\/11023008\/10752786.pdf?arnumber=10752786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T17:56:29Z","timestamp":1749059789000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10752786\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6]]},"references-count":51,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tr.2024.3488814","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6]]}}}