{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:28:14Z","timestamp":1783096094511,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:00:00Z","timestamp":1565568000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,12]]},"DOI":"10.1145\/3338906.3341175","type":"proceedings-article","created":{"date-parts":[[2019,8,9]],"date-time":"2019-08-09T12:21:03Z","timestamp":1565353263000},"page":"1110-1114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":61,"title":["EVMFuzzer: detect EVM vulnerabilities via fuzz testing"],"prefix":"10.1145","author":[{"given":"Ying","family":"Fu","sequence":"first","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meng","family":"Ren","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fuchen","family":"Ma","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heyuan","family":"Shi","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xin","family":"Yang","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Tsinghua University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huizhong","family":"Li","sequence":"additional","affiliation":[{"name":"WeBank, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiang","family":"Shi","sequence":"additional","affiliation":[{"name":"WeBank, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,8,12]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1007","article-title":"A survey of attacks on Ethereum smart contracts","volume":"2016","author":"Atzei Nicola","year":"2016","unstructured":"Nicola Atzei , Massimo Bartoletti , and Tiziana Cimoli . 2016 . A survey of attacks on Ethereum smart contracts . IACR Cryptology ePrint Archive 2016 (2016), 1007 . Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. 2016. A survey of attacks on Ethereum smart contracts. IACR Cryptology ePrint Archive 2016 (2016), 1007.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_1_4_1","volume-title":"USENIX Security Symposium.","author":"Chen Yuanliang","year":"2019","unstructured":"Yuanliang Chen , Yu Jiang , Fuchen Ma , Jie Liang , Mingzhe Wang , Chijin Zhou , Xun Jiao , and Zhuo Su . 2019 . EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers . In USENIX Security Symposium. Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao, and Zhuo Su. 2019. EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers. In USENIX Security Symposium."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_6_1","unstructured":"Ethereum. 2018. Ethereum C++ client tools and libraries. https:\/\/github.com\/ ethereum\/aleth.  Ethereum. 2018. Ethereum C++ client tools and libraries. https:\/\/github.com\/ ethereum\/aleth."},{"key":"e_1_3_2_1_7_1","unstructured":"Ethereum. 2018. Ethereum clients. https:\/\/github.com\/ethereum\/wiki\/wiki\/ Clients -tools -dapp-browsers -wallets-and-other-projects.  Ethereum. 2018. Ethereum clients. https:\/\/github.com\/ethereum\/wiki\/wiki\/ Clients -tools -dapp-browsers -wallets-and-other-projects."},{"key":"e_1_3_2_1_8_1","unstructured":"Ethereum. 2018. Go Ethereum. https:\/\/github.com\/ethereum\/go-ethereum.  Ethereum. 2018. Go Ethereum. https:\/\/github.com\/ethereum\/go-ethereum."},{"key":"e_1_3_2_1_9_1","unstructured":"Ethereum. 2018. Python Implementation of the EVM. https:\/\/github.com\/ ethereum\/py-evm.  Ethereum. 2018. Python Implementation of the EVM. https:\/\/github.com\/ ethereum\/py-evm."},{"key":"e_1_3_2_1_10_1","unstructured":"EthereumJS. 2018. The Ethereum VM implemented in Javascript. https:\/\/github. com\/ethereumjs\/ethereumjs-vm.  EthereumJS. 2018. The Ethereum VM implemented in Javascript. https:\/\/github. com\/ethereumjs\/ethereumjs-vm."},{"key":"e_1_3_2_1_11_1","unstructured":"Etherscan. 2018. Ethereum (eth) blockchain explorer. https:\/\/etherscan.io\/.  Etherscan. 2018. Ethereum (eth) blockchain explorer. https:\/\/etherscan.io\/."},{"key":"e_1_3_2_1_12_1","volume-title":"EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR abs\/1903.08483","author":"Fu Ying","year":"2019","unstructured":"Ying Fu , Meng Ren , Fuchen Ma , Yu Jiang , Heyuan Shi , and J. Tangting Sun . 2019. EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR abs\/1903.08483 ( 2019 ). Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, and J. Tangting Sun. 2019. EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR abs\/1903.08483 (2019)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264835"},{"key":"e_1_3_2_1_14_1","volume-title":"Accessed","author":"Newsham Hertz","year":"2015","unstructured":"Hertz and Newsham . 2015 . TriforceAFL - AFL\/QEMU fuzzing with full-system emulation. https:\/\/github.com\/nccgroup\/TriforceAFL\/ . Accessed February 18, 2019. Hertz and Newsham. 2015. TriforceAFL - AFL\/QEMU fuzzing with full-system emulation. https:\/\/github.com\/nccgroup\/TriforceAFL\/. Accessed February 18, 2019."},{"key":"e_1_3_2_1_15_1","volume-title":"Formal verification of Deed contract in Ethereum name service. November-2016.{Online}. Available: https:\/\/yoichihirai. com\/deed. pdf","author":"Hirai Yoichi","year":"2016","unstructured":"Yoichi Hirai . 2016. Formal verification of Deed contract in Ethereum name service. November-2016.{Online}. Available: https:\/\/yoichihirai. com\/deed. pdf ( 2016 ). Yoichi Hirai. 2016. Formal verification of Deed contract in Ethereum name service. November-2016.{Online}. Available: https:\/\/yoichihirai. com\/deed. pdf (2016)."},{"key":"e_1_3_2_1_16_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts. In NDSS.","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . ZEUS: Analyzing Safety of Smart Contracts. In NDSS. Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. ZEUS: Analyzing Safety of Smart Contracts. In NDSS."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238176"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2834476"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3275525"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2018.8330260"},{"key":"e_1_3_2_1_21_1","first-page":"633","article-title":"Making Smart Contracts Smarter","volume":"2016","author":"Luu Loi","year":"2016","unstructured":"Loi Luu , Duc-Hiep Chu , Hrishi Olickel , Prateek Saxena , and Aquinas Hobor . 2016 . Making Smart Contracts Smarter . IACR Cryptology ePrint Archive 2016 (2016), 633 . Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016. Making Smart Contracts Smarter. IACR Cryptology ePrint Archive 2016 (2016), 633.","journal-title":"IACR Cryptology ePrint Archive"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668038"},{"key":"e_1_3_2_1_23_1","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"McKeeman William M.","year":"1998","unstructured":"William M. McKeeman . 1998 . Differential Testing for Software . Digital Technical Journal 10 (1998), 100 \u2013 107 . William M. McKeeman. 1998. Differential Testing for Software. Digital Technical Journal 10 (1998), 100\u2013107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_24_1","unstructured":"MITRE. 2018. Common vulnerabilities and exposures. https:\/\/cve.mitre.org\/.  MITRE. 2018. Common vulnerabilities and exposures. https:\/\/cve.mitre.org\/."},{"key":"e_1_3_2_1_25_1","unstructured":"MITRE. 2018. CVE-2018-19184. http:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2018-19184.  MITRE. 2018. CVE-2018-19184. http:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name= CVE-2018-19184."},{"key":"e_1_3_2_1_26_1","volume-title":"Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/1802.06038","author":"Nikolic Ivica","year":"2018","unstructured":"Ivica Nikolic , Aashish Kolluri , Ilya Sergey , Prateek Saxena , and Aquinas Hobor . 2018. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/1802.06038 ( 2018 ). Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR abs\/1802.06038 (2018)."},{"key":"e_1_3_2_1_27_1","volume-title":"USENIX Security Symposium.","author":"Schumilo Sergej","year":"2017","unstructured":"Sergej Schumilo , Cornelius Aschermann , Robert Gawlik , Sebastian Schinzel , and Thorsten Holz . 2017 . kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels . In USENIX Security Symposium. Sergej Schumilo, Cornelius Aschermann, Robert Gawlik, Sebastian Schinzel, and Thorsten Holz. 2017. kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels. In USENIX Security Symposium."},{"key":"e_1_3_2_1_28_1","unstructured":"Solidity. 2018. Solidity Programming Language. https:\/\/git.io\/vFA47\/.  Solidity. 2018. Solidity Programming Language. https:\/\/git.io\/vFA47\/."},{"key":"e_1_3_2_1_29_1","volume-title":"Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS.","author":"Stephens Nick","year":"2016","unstructured":"Nick Stephens , John Grosen , Christopher Salls , Andrew Dutcher , Ruoyu Wang , Jacopo Corbetta , Yan Shoshitaishvili , Christopher Kr\u00fcgel , and Giovanni Vigna . 2016 . Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS. Nick Stephens, John Grosen, Christopher Salls, Andrew Dutcher, Ruoyu Wang, Jacopo Corbetta, Yan Shoshitaishvili, Christopher Kr\u00fcgel, and Giovanni Vigna. 2016. Driller: Augmenting Fuzzing Through Selective Symbolic Execution. In NDSS."},{"key":"e_1_3_2_1_30_1","volume-title":"QuanFuzz: Fuzz Testing of Quantum Program. CoRR abs\/1810.10310","author":"Wang Jiyuan","year":"2018","unstructured":"Jiyuan Wang , Ming Gao , Yu Jiang , Jian-Guang Lou , Yue Gao , Dongmei Zhang , and Jia-Guang Sun . 2018. QuanFuzz: Fuzz Testing of Quantum Program. CoRR abs\/1810.10310 ( 2018 ). Jiyuan Wang, Ming Gao, Yu Jiang, Jian-Guang Lou, Yue Gao, Dongmei Zhang, and Jia-Guang Sun. 2018. QuanFuzz: Fuzz Testing of Quantum Program. CoRR abs\/1810.10310 (2018)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183494"},{"key":"e_1_3_2_1_32_1","unstructured":"WIRED. 2018. A $50 MILLION HACK JUST SHOWED THAT THE DAO WAS ALL TOO HUMAN. (2016).  WIRED. 2018. A $50 MILLION HACK JUST SHOWED THAT THE DAO WAS ALL TOO HUMAN. (2016)."},{"key":"e_1_3_2_1_33_1","unstructured":"https:\/\/www.wired.com\/2016\/06\/50-million-hackjust-showed-dao-human\/.  https:\/\/www.wired.com\/2016\/06\/50-million-hackjust-showed-dao-human\/."},{"key":"e_1_3_2_1_34_1","unstructured":"Dr Gavin Wood. 2014. Ethereum: a Secure Decentralised Generalised Transaction Ledger.  Dr Gavin Wood. 2014. Ethereum: a Secure Decentralised Generalised Transaction Ledger."},{"key":"e_1_3_2_1_35_1","unstructured":"Michal Zalewski. 2015. american fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl\/.  Michal Zalewski. 2015. american fuzzy lop. http:\/\/lcamtuf.coredump.cx\/afl\/."},{"key":"e_1_3_2_1_36_1","volume-title":"Accessed","author":"Zero Google Project","year":"2015","unstructured":"Google Project Zero . 2015 . WinAfl - A fork of AFL for fuzzing Windows binaries. https:\/\/github.com\/googleprojectzero\/winafl . Accessed February 18, 2019. Google Project Zero. 2015. WinAfl - A fork of AFL for fuzzing Windows binaries. https:\/\/github.com\/googleprojectzero\/winafl. Accessed February 18, 2019."}],"event":{"name":"ESEC\/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Tallinn Estonia","acronym":"ESEC\/FSE '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3341175","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3338906.3341175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:21Z","timestamp":1750206381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3338906.3341175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,12]]},"references-count":36,"alternative-id":["10.1145\/3338906.3341175","10.1145\/3338906"],"URL":"https:\/\/doi.org\/10.1145\/3338906.3341175","relation":{},"subject":[],"published":{"date-parts":[[2019,8,12]]},"assertion":[{"value":"2019-08-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}