{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T21:23:52Z","timestamp":1781817832601,"version":"3.54.5"},"reference-count":100,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100010877","name":"Shenzhen Science and Technology Innovation Commission","doi-asserted-by":"publisher","award":["JCY20170818100156260"],"award-info":[{"award-number":["JCY20170818100156260"]}],"id":[{"id":"10.13039\/501100010877","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61472166"],"award-info":[{"award-number":["61472166"]}],"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":["61672270"],"award-info":[{"award-number":["61672270"]}],"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":["61602216"],"award-info":[{"award-number":["61602216"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Humanities and Social Science Research Fund of the Ministry of Education in China","award":["18YJC840045"],"award-info":[{"award-number":["18YJC840045"]}]},{"DOI":"10.13039\/501100004608","name":"Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20161199"],"award-info":[{"award-number":["BK20161199"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Natural Science Foundation of the Jiangsu University of Technology","award":["KYY16033"],"award-info":[{"award-number":["KYY16033"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2946988","type":"journal-article","created":{"date-parts":[[2019,10,11]],"date-time":"2019-10-11T19:55:56Z","timestamp":1570823756000},"page":"150184-150202","source":"Crossref","is-referenced-by-count":129,"title":["Smart Contract Security: A Software Lifecycle Perspective"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5190-9535","authenticated-orcid":false,"given":"Yongfeng","family":"Huang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yiyang","family":"Bian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renpu","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J. Leon","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4059-0987","authenticated-orcid":false,"given":"Peizhong","family":"Shi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","year":"2019","journal-title":"Chaincode Scanner"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2019.8666486"},{"key":"ref33","year":"2019","journal-title":"Hundreds of Millions of Dollars Locked at $0\\times 0$ Address and Smart Contracts’ Addresses"},{"key":"ref32","year":"2019","journal-title":"BeautyChain Token Bug"},{"key":"ref31","year":"2019","journal-title":"I Accidentally Killed It"},{"key":"ref30","year":"2019","journal-title":"Known Attacks"},{"key":"ref37","author":"kaiser","year":"2019","journal-title":"Chaincode Scanner Automated Security Analysis of Chaincode"},{"key":"ref36","year":"2019","journal-title":"Replay Attack"},{"key":"ref35","year":"2019","journal-title":"Safemath"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3178876.3186046"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978362"},{"key":"ref29","year":"2019","journal-title":"SWC Registry"},{"key":"ref20","year":"2019","journal-title":"The DAO (Organization)"},{"key":"ref22","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":"ref21","article-title":"Ethereum smart contracts: Security vulnerabilities and security tools","author":"ardit","year":"2017"},{"key":"ref24","author":"brown","year":"2016","journal-title":"Corda An Introduction"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"ref26","year":"2019","journal-title":"Common Weakness Enumeration"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2018.8327567"},{"key":"ref25","year":"2019","journal-title":"EOS White Paper"},{"key":"ref50","year":"2019","journal-title":"Upgradable Contract"},{"key":"ref51","article-title":"Smart contract templates: Foundations, design landscape and research directions","author":"clack","year":"2016","journal-title":"arXiv 1608 00771"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_33"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"ref54","year":"2019","journal-title":"TruffleRuby"},{"key":"ref53","first-page":"338","article-title":"Smart contract templates: Legal semantics and code validation","volume":"2","author":"clack","year":"2018","journal-title":"Journal of Digital Banking"},{"key":"ref52","article-title":"Smart contract templates: Essential requirements and design options","author":"clack","year":"2016","journal-title":"arXiv 1612 04496"},{"key":"ref40","author":"saini","year":"2019","journal-title":"ContractPedia An Encyclopedia of 40 Smart Contract Platforms"},{"key":"ref4","year":"2018","journal-title":"Decentralized ai Blockchain Whitepaper"},{"key":"ref3","year":"2019","journal-title":"AI & Blockchain An Introduction"},{"key":"ref6","article-title":"Blockchain enabled data marketplace—Design and challenges","author":"banerjee","year":"2018","journal-title":"arXiv 1811 11462"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/EUROCON.2017.8011213"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/iet-net.2018.5026"},{"key":"ref49","year":"2019","journal-title":"Security EIPs"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.11.022"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2018.8612856"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32101-7_27"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_31"},{"key":"ref48","year":"2019","journal-title":"OpenZeppelin"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42019-6_11"},{"key":"ref42","year":"2019","journal-title":"General Philosophy"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2018.8486401"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2018.8327565"},{"key":"ref43","year":"2019","journal-title":"EMR Security Guidelines"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49812-6"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984027"},{"key":"ref71","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1016\/j.jlap.2010.03.012","article-title":"An overview of the K semantic framework","volume":"79","author":"ro?u","year":"2010","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"ref70","first-page":"1371","article-title":"Erays: Reverse engineering Ethereum’s opaque smart contracts","author":"zhou","year":"2018","journal-title":"Proc 27th USENIX Conf Secur Symp"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2455034"},{"key":"ref77","year":"2019","journal-title":"Z3 Theorem Prover"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref78","volume":"1","author":"ullman","year":"1989","journal-title":"Principles of database and knowledge-base systems"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_20"},{"key":"ref60","first-page":"44","article-title":"Formal specification and verification of hyperledger fabric chaincode","author":"beckert","year":"2018","journal-title":"Proc 1st Int Conf Formal Engineering Methods"},{"key":"ref62","year":"2019","journal-title":"Octopus"},{"key":"ref61","year":"2019","journal-title":"ChainSecurity"},{"key":"ref63","first-page":"1317","article-title":"teEther: Gnawing at Ethereum to automatically exploit smart contract","author":"krupp","year":"2018","journal-title":"Proc 27th USENIX Conf Secur Symp"},{"key":"ref64","year":"2019","journal-title":"Mythril"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"ref66","year":"2019","journal-title":"Manticore"},{"key":"ref67","year":"2019","journal-title":"Security Audits for High-Impact Projects"},{"key":"ref68","year":"2019","journal-title":"Smart Contract Security Audit"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s41650-018-0024-3"},{"key":"ref69","year":"2019","journal-title":"ConsenSys Diligence"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2890507"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1186\/s40854-016-0049-2"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939785"},{"key":"ref93","year":"2019","journal-title":"Watson IoT Platform"},{"key":"ref92","year":"2019","journal-title":"Testnet and Mainnet—What Role Do They Play"},{"key":"ref91","year":"2019","journal-title":"Maian"},{"key":"ref90","year":"2019","journal-title":"Monitoring UI"},{"key":"ref98","article-title":"Scilla: A smart contract intermediate-level language","author":"sergey","year":"2018","journal-title":"arXiv 1801 00687"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1016\/j.jclepro.2019.06.265"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2019.2930418"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2905689"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2876971"},{"key":"ref12","first-page":"653","article-title":"A survey of blockchain security issues and challenges","volume":"19","author":"lin","year":"2017","journal-title":"Int J Netw Secur"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.08.020"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2019.101050"},{"key":"ref15","year":"2019","journal-title":"BCSEC Incorporation"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref82","first-page":"103","article-title":"Empirical vulnerability analysis of automated smart contracts security testing on blockchains","author":"parizi","year":"2018","journal-title":"Proc 28th Annu Int Conf Comput Sci Softw Eng"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref81","year":"2019","journal-title":"WebAssembly"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref84","year":"2019","journal-title":"EtherScan Bug Bounty"},{"key":"ref19","article-title":"Security analysis methods on Ethereum smart contract vulnerabilities: A survey","author":"praitheeshan","year":"2019","journal-title":"arXiv 1908 08605"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_4"},{"key":"ref80","year":"2019","journal-title":"Go Code Analysis"},{"key":"ref89","author":"cook","year":"2017","journal-title":"DappGuard Active Monitoring and Defense for Solidity Smart Contracts"},{"key":"ref85","year":"2019","journal-title":"Raiden Bug Bounty"},{"key":"ref86","first-page":"1335","article-title":"Enter the hydra: Towards principled bug bounties and exploit-resistant smart contracts","author":"breidenbach","year":"2018","journal-title":"Proc 27th USENIX Conf Secur Symp"},{"key":"ref87","first-page":"653","article-title":"Finding the greedy, prodigal, and suicidal contracts at scale","author":"nikoli?","year":"2018","journal-title":"Proc ACM Annu Comput Secur Appl Conf"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08864988.pdf?arnumber=8864988","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,10]],"date-time":"2021-08-10T19:40:55Z","timestamp":1628624455000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8864988\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":100,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2946988","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}