{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T06:31:36Z","timestamp":1774074696470,"version":"3.50.1"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1109\/saner48275.2020.9054822","type":"proceedings-article","created":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:47:32Z","timestamp":1585900052000},"page":"116-126","source":"Crossref","is-referenced-by-count":49,"title":["EthPloit: From Fuzzing to Efficient Exploit Generation against Smart Contracts"],"prefix":"10.1109","author":[{"given":"Qingzhao","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Yizhuo","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Juanru","family":"Li","sequence":"additional","affiliation":[]},{"given":"Siqi","family":"Ma","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"ref38","author":"pham","year":"2018","journal-title":"Smart greybox fuzzing"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183494"},{"key":"ref31","author":"he","year":"2019","journal-title":"Learning to fuzz from symbolic execution with application to smart contracts"},{"key":"ref30","year":"2019","journal-title":"Targeted greybox fuzzing with static lookahead analysis"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66332-6_2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23404"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.2017.8227972"},{"key":"ref34","first-page":"1475","article-title":"Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach","author":"ognawala","year":"0","journal-title":"Proceedings of the 33rd Annual ACM Symposium on Applied Computing ACM"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2903291"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref13","first-page":"1317","article-title":"teether: Gnawing at ethereum to automatically exploit smart contracts","author":"krupp","year":"0","journal-title":"27th USENIX Security Symposium ( USENIX Security 18)"},{"key":"ref14","first-page":"653","article-title":"Finding the greedy, prodigal, and suicidal contracts at scale","author":"nikolic","year":"0","journal-title":"Proceedings of the 34th Annual Computer Security Applications Conference ACM"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.02.002"},{"key":"ref16","year":"2018","journal-title":"Solidity solidity 0 4 25 documentation"},{"key":"ref17","year":"2018","journal-title":"Slither static analyzer for solidity"},{"key":"ref18","year":"2017","journal-title":"Remix-Solidity IDE"},{"key":"ref19","year":"0","journal-title":"Code coverage - Wikipedia the free encyclopedia"},{"key":"ref28","year":"2018","journal-title":"echidna Ethereum fuzz testing framework"},{"key":"ref4","year":"2016","journal-title":"State of the Dapps"},{"key":"ref27","first-page":"65","article-title":"ReGuard: Finding Reentrancy Bugs in Smart Contracts","author":"liu","year":"2018","journal-title":"2018 IEEE\/ACM 40th International Conference on Software Engineering Companion (ICSE-Companion) ICSE-Companion"},{"key":"ref3","author":"nakamoto","year":"2008","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System"},{"key":"ref6","first-page":"164","article-title":"A survey of attacks on ethereum smart contracts (sok)","author":"atzei","year":"0","journal-title":"International Conference on Principles of Security and Trust"},{"key":"ref29","author":"w\u00fcstholz","year":"2019","journal-title":"Harvey A greybox fuzzer for smart contracts"},{"key":"ref5","year":"2016","journal-title":"Ethereum (eth) blockchain explorer"},{"key":"ref8","author":"palladino","year":"2017","journal-title":"The Parity Wallet Hack Explained"},{"key":"ref7","article-title":"Decentralized autonomous organization to automate governance","author":"jentzsch","year":"2016","journal-title":"White Paper"},{"key":"ref2","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":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref1","year":"2016","journal-title":"CoinMarketCap cryptocurrency markey capitalizations"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"ref22","year":"2017","journal-title":"manticore symbolic execution tool"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011044"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2010.19"},{"key":"ref41","author":"li","year":"2019","journal-title":"V-fuzz Vulnerability-oriented evolutionary fuzzing"},{"key":"ref23","year":"2017","journal-title":"MythX smart contract security analysis api"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2018.00026"},{"key":"ref25","author":"bhargavan","year":"0","journal-title":"Short Paper Formal Verification of Smart Contracts"}],"event":{"name":"2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER)","location":"London, ON, Canada","start":{"date-parts":[[2020,2,18]]},"end":{"date-parts":[[2020,2,21]]}},"container-title":["2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9040394\/9054788\/09054822.pdf?arnumber=9054822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:52:52Z","timestamp":1656453172000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9054822\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/saner48275.2020.9054822","relation":{},"subject":[],"published":{"date-parts":[[2020,2]]}}}