{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:23:12Z","timestamp":1730200992880,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"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":[[2021,9,27]]},"DOI":"10.1109\/brains52497.2021.9569819","type":"proceedings-article","created":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T19:51:25Z","timestamp":1635191485000},"page":"229-236","source":"Crossref","is-referenced-by-count":14,"title":["Smart Contracts Refinement for Gas Optimization"],"prefix":"10.1109","author":[{"given":"Keerthi","family":"Nelaturu","sequence":"first","affiliation":[]},{"given":"Sidi Mohamed","family":"Beillahi","sequence":"additional","affiliation":[]},{"given":"Fan","family":"Long","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2021","key":"ref39"},{"journal-title":"Python solidity parser","year":"0","key":"ref38"},{"key":"ref33","article-title":"Developing cost-effective blockchain-powered applications: A case study of the gas usage of smart contracts transactions in the ethereum blockchain platform","volume":"1","author":"zarir","year":"2020","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"ref32","first-page":"7","article-title":"Cost analysis of smart contracts via parametric resource analysis","volume":"12389","author":"perez","year":"0","journal-title":"Static Analysis – 27th International Symposium SAS 2020 Virtual Event"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3057565"},{"key":"ref30","first-page":"1","article-title":"Gas checker: Scalable analysis for discovering gas-inefficient smart contracts","author":"chen","year":"2020","journal-title":"IEEE Transactions on Emerging Topics in Computing"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain50366.2020.00059"},{"key":"ref36","article-title":"Scilla: a smart contract intermediate-level language","volume":"abs 1801 687","author":"sergey","year":"2018","journal-title":"CoRR"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3183399.3183420"},{"journal-title":"Gas Cost Analysis for Ethereum Smart Contracts","year":"2018","author":"signer","key":"ref34"},{"journal-title":"Solidity","year":"2021","key":"ref10"},{"journal-title":"Ganache","year":"2021","key":"ref40"},{"journal-title":"Swc-126 Insufficient gas griefing","year":"2021","key":"ref11"},{"journal-title":"Swc-128 Dos with block gas limit","year":"2021","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416626"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386022"},{"key":"ref17","first-page":"161","article-title":"sole-verify: A modular verifier for solidity smart contracts","volume":"12031","author":"hajdu","year":"2019","journal-title":"Verified Software Theories Tools and Experiments - 11th International Conference VSTTE 2019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"ref28","article-title":"Blockchain superoptimizer","volume":"abs 2005 5912","author":"nagele","year":"2020","journal-title":"CoRR"},{"journal-title":"Carrefour says blockchain tracking boosting sales of some products","year":"2019","key":"ref4"},{"key":"ref27","first-page":"177","article-title":"Synthesis of super-optimized smart contracts using max-smt","volume":"12224","author":"albert","year":"2020","journal-title":"Computer Aided Verification – 32nd International Conference CAV 2020"},{"journal-title":"2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","article-title":"Privacy and transparency in cbdcs: A regulation-by-design aml\/cft scheme","year":"2021","author":"pocher","key":"ref3"},{"journal-title":"Blockchain is empowering the future of insurance","year":"2016","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain50366.2020.00042"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC51069.2021.9461127"},{"journal-title":"Decentralized finance (defi)","year":"2021","key":"ref8"},{"year":"2021","key":"ref7"},{"journal-title":"Ethereum Official webpage","year":"2016","author":"buterin","key":"ref2"},{"journal-title":"Christie's auctions first digital-only artwork for $70m","year":"2021","key":"ref9"},{"journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","year":"2008","author":"nakamoto","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref22","first-page":"520","article-title":"Defining the ethereum virtual machine for interactive theorem provers","volume":"10323","author":"hirai","year":"0","journal-title":"Financial Cryptography and Data Security - FC 2017 International Workshops WAHC BITCOIN VOTING WTSC and TA Sliema Malta April 7 2017 Revised Selected Papers ser Lecture Notes in Computer Science"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3167084"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"journal-title":"Etherscan","year":"2021","key":"ref41"},{"key":"ref23","article-title":"solc-verify: A modular verifier for solidity smart contracts","volume":"abs 1907 4262","author":"hajdu","year":"2019","journal-title":"CoRR"},{"key":"ref26","first-page":"118","article-title":"GASOL: gas analysis and optimization for ethereum smart contracts","volume":"12079","author":"albert","year":"2020","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems – 26th International Conference TACAS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2020"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"}],"event":{"name":"2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","start":{"date-parts":[[2021,9,27]]},"location":"Paris, France","end":{"date-parts":[[2021,9,30]]}},"container-title":["2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9568781\/9569777\/09569819.pdf?arnumber=9569819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:47:32Z","timestamp":1652197652000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9569819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/brains52497.2021.9569819","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}
