{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:24:19Z","timestamp":1773840259916,"version":"3.50.1"},"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":32,"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":[{"key":"ref39","year":"2021"},{"key":"ref38","year":"0","journal-title":"Python solidity parser"},{"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"},{"key":"ref34","author":"signer","year":"2018","journal-title":"Gas Cost Analysis for Ethereum Smart Contracts"},{"key":"ref10","year":"2021","journal-title":"Solidity"},{"key":"ref40","year":"2021","journal-title":"Ganache"},{"key":"ref11","year":"2021","journal-title":"Swc-126 Insufficient gas griefing"},{"key":"ref12","year":"2021","journal-title":"Swc-128 Dos with block gas limit"},{"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"},{"key":"ref4","year":"2019","journal-title":"Carrefour says blockchain tracking boosting sales of some products"},{"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"},{"key":"ref3","article-title":"Privacy and transparency in cbdcs: A regulation-by-design aml\/cft scheme","author":"pocher","year":"2021","journal-title":"2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)"},{"key":"ref6","year":"2016","journal-title":"Blockchain is empowering the future of insurance"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain50366.2020.00042"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC51069.2021.9461127"},{"key":"ref8","year":"2021","journal-title":"Decentralized finance (defi)"},{"key":"ref7","year":"2021"},{"key":"ref2","author":"buterin","year":"2016","journal-title":"Ethereum Official webpage"},{"key":"ref9","year":"2021","journal-title":"Christie's auctions first digital-only artwork for $70m"},{"key":"ref1","author":"nakamoto","year":"2008","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System"},{"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"},{"key":"ref41","year":"2021","journal-title":"Etherscan"},{"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)","location":"Paris, France","start":{"date-parts":[[2021,9,27]]},"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]]}}}