{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T00:28:18Z","timestamp":1780100898115,"version":"3.54.0"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001459","name":"Ministry of Education - Singapore","doi-asserted-by":"publisher","award":["MOE2018-T2-1-068"],"award-info":[{"award-number":["MOE2018-T2-1-068"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001381","name":"National Research Foundation Singapore","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001381","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001447","name":"Energy Market Authority of Singapore","doi-asserted-by":"publisher","award":["NRF2017EWT-EP003-023"],"award-info":[{"award-number":["NRF2017EWT-EP003-023"]}],"id":[{"id":"10.13039\/501100001447","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Joint NTU-WeBank Research Centre of Eco-Intelligent Applications"},{"DOI":"10.13039\/501100001475","name":"Nanyang Technological University","doi-asserted-by":"publisher","award":["NWJ-2019-003"],"award-info":[{"award-number":["NWJ-2019-003"]}],"id":[{"id":"10.13039\/501100001475","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2022,5,1]]},"DOI":"10.1109\/tdsc.2020.3037332","type":"journal-article","created":{"date-parts":[[2020,11,11]],"date-time":"2020-11-11T21:16:31Z","timestamp":1605129391000},"page":"1795-1809","source":"Crossref","is-referenced-by-count":55,"title":["Oracle-Supported Dynamic Exploit Generation for Smart Contracts"],"prefix":"10.1109","volume":"19","author":[{"given":"Haijun","family":"Wang","sequence":"first","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6709-3721","authenticated-orcid":false,"given":"Ye","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4562-8208","authenticated-orcid":false,"given":"Yi","family":"Li","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9726-3434","authenticated-orcid":false,"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3656-1614","authenticated-orcid":false,"given":"Cyrille","family":"Artho","sequence":"additional","affiliation":[{"name":"School of Computer Science and Communication, KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8621-2420","authenticated-orcid":false,"given":"Lei","family":"Ma","sequence":"additional","affiliation":[{"name":"Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7300-9215","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42448-4_13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2017.21"},{"key":"ref5","first-page":"118","article-title":"The truth about blockchain","volume":"95","author":"Iansiti","year":"2017","journal-title":"Harvard Bus. Rev."},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32409-4_18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref12","first-page":"65","article-title":"ReGuard: Finding reentrancy bugs in smart contracts","volume-title":"Proc. ACM\/IEEE Int. Conf. Softw. Eng.","author":"Liu"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416646"},{"key":"ref15","article-title":"American fuzzy lop","author":"Zalewski","year":"2016"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35568-9_18"},{"key":"ref18","article-title":"PPCoin: Peer-to-peer crypto-currency with proof-of-stake","author":"King"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2018.2883275"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00066"},{"key":"ref23","first-page":"1317","article-title":"TEETHER: Gnawing at ethereum to automatically exploit smart contracts","volume-title":"Proc. 27th USENIX Conf. Secur. Symp.","author":"Krupp"},{"key":"ref24","first-page":"494","article-title":"Quantitative analysis of smart contracts","volume-title":"Proc. Eur. Symp. Program.","author":"Chatterjee"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/b978-044450813-3\/50026-6"},{"key":"ref29","article-title":"Finding bugs automatically in smart contracts with parameterized invariants","author":"Bernardi","year":"2020"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106295"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330560"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23404"},{"key":"ref33","article-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper (2018)","author":"Wood","year":"2018"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2584063"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"ref37","article-title":"Integer overflow\/underflow","author":"Hirai","year":"2019"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00069"},{"key":"ref40","article-title":"DASP: Decentralized application security project","year":"2019"},{"key":"ref41","article-title":"Dao challenge","year":"2019"},{"key":"ref42","article-title":"Ether total supply","year":"2019"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref45","article-title":"Slither","year":"2019"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"ref48","article-title":"Fstartlang","year":"2019"},{"key":"ref49","article-title":"Why3","year":"2019"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"ref51","article-title":"Towards safer smart contracts: A survey of languages and verification methods","author":"Harz","year":"2018"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2921624"},{"key":"ref53","article-title":"LLVM"},{"key":"ref55","article-title":"Formal specification and verification of smart contracts for azure blockchain","author":"Wang","year":"2018"},{"key":"ref56","first-page":"134","article-title":"A detailed and real-time performance monitoring framework for blockchain systems","volume-title":"Proc. IEEE\/ACM 40th Int. Conf. Softw. Eng., Softw. Eng. Pract. Track","author":"Zheng"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417939"},{"key":"ref58","article-title":"Echidna","year":"2019"},{"key":"ref59","article-title":"Learning inputs in greybox fuzzing","author":"W\u00fcstholz","year":"2018"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.49"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23413"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref65","article-title":"Security considerations","year":"2019"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)90032-9"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/9773152\/09256983.pdf?arnumber=9256983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T22:43:20Z","timestamp":1704840200000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9256983\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,1]]},"references-count":55,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2020.3037332","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":[[2022,5,1]]}}}