{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:43:07Z","timestamp":1774946587623,"version":"3.50.1"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,3,13]],"date-time":"2023-03-13T00:00:00Z","timestamp":1678665600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001700","name":"MEXT","doi-asserted-by":"publisher","award":["JPMXP0518071489"],"award-info":[{"award-number":["JPMXP0518071489"]}],"id":[{"id":"10.13039\/501100001700","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001695","name":"JST","doi-asserted-by":"publisher","award":["JPMJCR21M5"],"award-info":[{"award-number":["JPMJCR21M5"]}],"id":[{"id":"10.13039\/501100001695","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003382","name":"CREST","doi-asserted-by":"publisher","award":["JPMJCR21M5"],"award-info":[{"award-number":["JPMJCR21M5"]}],"id":[{"id":"10.13039\/501100003382","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,3,13]]},"DOI":"10.1109\/percomworkshops56833.2023.10150389","type":"proceedings-article","created":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T15:02:56Z","timestamp":1687532576000},"page":"92-97","source":"Crossref","is-referenced-by-count":6,"title":["An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities"],"prefix":"10.1109","author":[{"given":"Chihiro","family":"Kado","sequence":"first","affiliation":[{"name":"Osaka University,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoto","family":"Yanai","sequence":"additional","affiliation":[{"name":"Osaka University,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason Paul","family":"Cruz","sequence":"additional","affiliation":[{"name":"Osaka University,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shingo","family":"Okamura","sequence":"additional","affiliation":[{"name":"National Institute of Technology, Nara College,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","article-title":"Smashing ethereum smart contracts for fun and real profit","author":"mueller","year":"0","journal-title":"9th HITB Security Conference"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref15","first-page":"1325","article-title":"Smart contract vulnerabilities: Vulnerable does not imply exploited","author":"perez","year":"2021","journal-title":"Proc of USENIX Security 2021"},{"key":"ref14","first-page":"103","article-title":"Empirical vulnerability analysis of automated smart contracts security testing on blockchains","author":"parizi","year":"2018","journal-title":"Proc of CASCON 2018"},{"key":"ref11","first-page":"1","article-title":"Large-scale empirical study of inline assembly on 7.6 million ethereum smart contracts","author":"liao","year":"2022","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3140091"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DAPPCON.2019.00018"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-13185-1_16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2921936"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SANER50967.2021.00089"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464837"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00127"},{"key":"ref23","year":"0","journal-title":"S v0 8 0 Breaking Changes"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C55045.2021.00105"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.4250240"},{"key":"ref20","first-page":"1361","article-title":"SmarTest: Effectively hunting vulnerable transaction sequences in smart contracts through language Model-Guided symbolic execution","author":"so","year":"2021","journal-title":"Proc of USENIX Security 2021"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.5220\/0008909803170324"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3390\/jcp2020019"},{"key":"ref27","author":"wood","year":"0","journal-title":"Ethereum a secure decentralised generalised transaction ledger Byzantium version"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380424"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3169902"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SANER50967.2021.00050"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3391195"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380364"},{"key":"ref5","author":"crafa","year":"2019","journal-title":"Solidity 0 5 when typed does not mean type safe"}],"event":{"name":"2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)","location":"Atlanta, GA, USA","start":{"date-parts":[[2023,3,13]]},"end":{"date-parts":[[2023,3,17]]}},"container-title":["2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10149845\/10150216\/10150389.pdf?arnumber=10150389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T17:41:35Z","timestamp":1689010895000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10150389\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,13]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/percomworkshops56833.2023.10150389","relation":{},"subject":[],"published":{"date-parts":[[2023,3,13]]}}}