{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T16:25:33Z","timestamp":1780417533638,"version":"3.54.1"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"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":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1109\/tse.2025.3548730","type":"journal-article","created":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T18:38:46Z","timestamp":1741286326000},"page":"1266-1283","source":"Crossref","is-referenced-by-count":2,"title":["SmartUpdater: Enabling Transparent, Automated, and Secure Maintenance of Stateful Smart Contracts"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5255-2216","authenticated-orcid":false,"given":"Xiaoli","family":"Zhang","sequence":"first","affiliation":[{"name":"Department of Computer Science, Zhejiang University of Technology, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7662-0870","authenticated-orcid":false,"given":"Yiqiao","family":"Song","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Zhejiang University of Technology, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1091-6832","authenticated-orcid":false,"given":"Yuefeng","family":"Du","sequence":"additional","affiliation":[{"name":"Computer Science Department, City University of Hong Kong, Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8045-4226","authenticated-orcid":false,"given":"Chengjun","family":"Cai","sequence":"additional","affiliation":[{"name":"Computer Science and Information Technology Center, City University of Hong Kong (Dongguan), Dongguan, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8504-1092","authenticated-orcid":false,"given":"Hongbing","family":"Cheng","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Zhejiang University of Technology, Hangzhou, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2587-8517","authenticated-orcid":false,"given":"Ke","family":"Xu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8776-8730","authenticated-orcid":false,"given":"Qi","family":"Li","sequence":"additional","affiliation":[{"name":"Institute of Network Science and Technology, Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Smartupdater","year":"2024"},{"key":"ref2","article-title":"Visibility in solidity smart contracts.","year":"2023"},{"key":"ref3","article-title":"Transparent contract standard","year":"2018"},{"key":"ref4","article-title":"The first real proxy","year":"2018"},{"key":"ref5","article-title":"Proxy storage slots","year":"2019"},{"key":"ref6","article-title":"EIP-2535: Diamonds, multi-facet proxy","year":"2020"},{"key":"ref7","article-title":"Infura: Ethereum & IPFS API.","year":"2021"},{"key":"ref8","article-title":"Solidity documentation","year":"2021"},{"key":"ref9","article-title":"Universal upgradeable proxy standard (UUPS)","year":"2022"},{"key":"ref10","article-title":"0xPARC. circom-pairing","year":"2022"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3548683"},{"key":"ref12","article-title":"Explained: The lendhub hack","author":"Behnke","year":"2023"},{"key":"ref13","article-title":"Explained: The pike finance hack","author":"Behnke","year":"2024"},{"key":"ref14","first-page":"1829","article-title":"Proxy hunting: Understanding and characterizing proxy-based upgradeable smart contracts in blockchains","volume-title":"Proc. USENIX Secur.","author":"Bodell","year":"2023"},{"key":"ref15","first-page":"423","article-title":"Zether: Towards privacy in a smart contract world","volume-title":"Proc. FC","author":"B\u00fc","year":"2020"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2020.3030063"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2989002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24449"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3563308"},{"key":"ref20","article-title":"Blocks","year":"2023"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-004-0518-7"},{"key":"ref22","article-title":"Token tracker (ERC-20)","year":"2024"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3320269.3384756"},{"key":"ref25","first-page":"2557","article-title":"ETHBMC: A bounded model checker for smart contracts","volume-title":"Proc. USENIX Secur.","author":"Frank","year":"2020"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"ref27","article-title":"Gurobi optimization","year":"2023"},{"key":"ref28","article-title":"iden3","year":"2023"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3123170"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.9734\/BJAST\/2015\/14975"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2021.3116808"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2022.3232548"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.2969418"},{"key":"ref34","article-title":"Upgrading smart contracts","year":"2023"},{"key":"ref35","article-title":"Ethereum logs and events \u2013 what are event logs on the Ethereum network?","year":"2023"},{"key":"ref36","article-title":"How contract migration works.","author":"Bits","year":"2023"},{"key":"ref37","article-title":"Opensea nft marketplace","year":"2023"},{"key":"ref38","article-title":"Upgrades plugins","year":"2024"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2856449"},{"key":"ref40","article-title":"President and fellows of harvard college","year":"2007"},{"key":"ref41","article-title":"Using the compiler","year":"2023"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3687299"},{"key":"ref43","article-title":"Decentralized application development (DAPPS) market size","year":"2023"},{"key":"ref44","first-page":"1289","article-title":"EVMPatch: Timely and automated patching of ethereum smart contracts","volume-title":"Proc. USENIX Secur.","author":"Rodler","year":"2021"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833732"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560622"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3559560"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111787"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314588"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-020-9284-9"},{"issue":"2014","key":"ref53","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":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2024.103882"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560652"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-024-3542-1"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3349852"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/OJCS.2020.2990458"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2024.3463394"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10969500\/10915552.pdf?arnumber=10915552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T17:38:00Z","timestamp":1744997880000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10915552\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":60,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3548730","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4]]}}}