{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T17:05:49Z","timestamp":1754154349896,"version":"3.41.2"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T00:00:00Z","timestamp":1734048000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T00:00:00Z","timestamp":1734048000000},"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","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,13]]},"DOI":"10.1109\/hpcc64274.2024.00059","type":"proceedings-article","created":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T18:33:48Z","timestamp":1753295628000},"page":"379-389","source":"Crossref","is-referenced-by-count":0,"title":["AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts"],"prefix":"10.1109","author":[{"given":"Jiahao","family":"He","sequence":"first","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianfei","family":"Zhou","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peicheng","family":"Miao","sequence":"additional","affiliation":[{"name":"Zhejiang Sci-Tech University,Zhejiang,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongjie","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renkai","family":"Jiang","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuwei","family":"Song","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianxing","family":"Jiang","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","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":"ref2","first-page":"1271","article-title":"EOSAFE: Security Analysis of EOSIO Smart Contracts","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"He"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24449"},{"article-title":"WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection","year":"2020","author":"Wang","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3457913.3457920"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3341175"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/BIGCOM.2019.00021"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9020255"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2018.8328737"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345664"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"},{"key":"ref14","first-page":"778","article-title":"Sfuzz: An efficient adaptive fuzzer for solidity smart contracts","volume-title":"2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE)","author":"Nguyen"},{"key":"ref15","first-page":"789","article-title":"Targeted Greybox Fuzzing with Static Lookahead Analysis","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering","author":"Wstholz"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534218"},{"article-title":"Evulhunter: detecting fake transfer vulnerabilities for eosio\u2019s smart contracts at webassembly-level","year":"2019","author":"Quan","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/QRS60937.2023.00024"},{"key":"ref19","first-page":"217","article-title":"Everything old is new again: Binary security of webassembly","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Lehmann"},{"article-title":"Who spent my EOS? on the (in) security of resource management of eos. io","volume-title":"13th USENIX Workshop on Offensive Technologies (WOOT 19)","author":"Lee","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3138820"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464795"},{"key":"ref23","first-page":"10","article-title":"AFL++ combining incremental steps of fuzzing research","volume-title":"Proceedings of the 14th USENIX Conference on Offensive Technologies","author":"Fioraldi"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2020.102477"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC54236.2022.00124"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/tdsc.2022.3141396"},{"article-title":"Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly","year":"2021","author":"Lehmann","key":"ref27"},{"key":"ref28","first-page":"65","article-title":"Reguard: finding reentrancy bugs in smart contracts","volume-title":"Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings","author":"Liu"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"ref32","first-page":"1361","article-title":"SmarTest: Effectively hunting vulnerable transaction sequences in smart contracts through language Model-Guided symbolic execution","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"So"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/cje.2022.00.116"},{"key":"ref34","article-title":"An instruction-level symbolic checksum system for windows x86 program","author":"Lei","year":"2012","journal-title":"Chinese Journal of Electronics"}],"event":{"name":"2024 IEEE International Conference on High Performance Computing and Communications (HPCC)","start":{"date-parts":[[2024,12,13]]},"location":"Wuhan, China","end":{"date-parts":[[2024,12,15]]}},"container-title":["2024 IEEE International Conference on High Performance Computing and Communications (HPCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11083115\/11083125\/11083247.pdf?arnumber=11083247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T04:49:12Z","timestamp":1753332552000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11083247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,13]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/hpcc64274.2024.00059","relation":{},"subject":[],"published":{"date-parts":[[2024,12,13]]}}}