{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T12:11:51Z","timestamp":1778847111691,"version":"3.51.4"},"reference-count":35,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:00:00Z","timestamp":1775001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T00:00:00Z","timestamp":1751241600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004508","name":"Prince of Songkla University","doi-asserted-by":"publisher","award":["COC6601136S"],"award-info":[{"award-number":["COC6601136S"]}],"id":[{"id":"10.13039\/501100004508","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1016\/j.bcra.2025.100329","type":"journal-article","created":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T11:18:47Z","timestamp":1751455127000},"page":"100329","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["Resolving the token loss vulnerability in the Ethereum ERC-20 standard"],"prefix":"10.1016","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-1383-6731","authenticated-orcid":false,"given":"Nattawat","family":"Songsom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9519-0833","authenticated-orcid":false,"given":"Jakapan","family":"Suaboot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1915-036X","authenticated-orcid":false,"given":"Warodom","family":"Werapun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2025.100329_br0010","doi-asserted-by":"crossref","DOI":"10.1016\/j.jbvi.2019.e00151","article-title":"Blockchain disruption and decentralized finance: the rise of decentralized business models","volume":"13","author":"Chen","year":"2020","journal-title":"J. Bus. Venturing Insights"},{"key":"10.1016\/j.bcra.2025.100329_br0020","series-title":"Proceedings of the 2021 18th International Conference on Electrical Engineering\/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON)","first-page":"768","article-title":"The arbitrage system on decentralized exchanges","author":"Boonpeam","year":"2021"},{"key":"10.1016\/j.bcra.2025.100329_br0030","series-title":"Proceedings of the 2020 - 5th International Conference on Information Technology (InCIT)","first-page":"249","article-title":"Student activity credit framework (psucoin)","author":"Boonpeam","year":"2020"},{"key":"10.1016\/j.bcra.2025.100329_br0040","series-title":"Financial Cryptography and Data Security","first-page":"494","article-title":"An empirical analysis of smart contracts: platforms, applications, and design patterns","author":"Bartoletti","year":"2017"},{"key":"10.1016\/j.bcra.2025.100329_br0050","author":"Anderson"},{"key":"10.1016\/j.bcra.2025.100329_br0060","doi-asserted-by":"crossref","first-page":"2292","DOI":"10.1109\/ACCESS.2016.2566339","article-title":"Blockchains and smart contracts for the Internet of things","volume":"4","author":"Christidis","year":"2016","journal-title":"IEEE Access"},{"key":"10.1016\/j.bcra.2025.100329_br0070","series-title":"Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs","first-page":"66","article-title":"Towards verifying Ethereum smart contract bytecode in Isabelle\/hol","author":"Amani","year":"2018"},{"key":"10.1016\/j.bcra.2025.100329_br0080","author":"Lido"},{"key":"10.1016\/j.bcra.2025.100329_br0090","author":"Pomerantz"},{"key":"10.1016\/j.bcra.2025.100329_br0100","series-title":"Model Checking","author":"Clarke","year":"2000"},{"key":"10.1016\/j.bcra.2025.100329_br0110","series-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier","year":"2008"},{"key":"10.1016\/j.bcra.2025.100329_br0120","series-title":"The SPIN Model Checker","author":"Holzmann","year":"2003"},{"key":"10.1016\/j.bcra.2025.100329_br0130","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","article-title":"ProB: an automated analysis toolset for the B method","volume":"10","author":"Leuschel","year":"2008","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/j.bcra.2025.100329_br0140","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"Larsen","year":"1997","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/j.bcra.2025.100329_br0150","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/s100090050046","article-title":"Nusmv: a new symbolic model checker","volume":"2","author":"Cimatti","year":"2000","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/j.bcra.2025.100329_br0160","series-title":"Business Transformation Through Blockchain","first-page":"36","article-title":"The pluscal algorithm language","author":"Lamport","year":"2018"},{"key":"10.1016\/j.bcra.2025.100329_br0170","series-title":"Formal Methods and Software Engineering","first-page":"581","article-title":"Comparison of model checking tools for information systems","author":"Frappier","year":"2010"},{"key":"10.1016\/j.bcra.2025.100329_br0180","series-title":"Correct Hardware Design and Verification Methods","first-page":"54","article-title":"Model checking tla+ specifications","author":"Yu","year":"1999"},{"key":"10.1016\/j.bcra.2025.100329_br0190","series-title":"Formal Methods: Foundations and Applications","first-page":"49","article-title":"A high-level language for modeling algorithms and their properties","author":"Akhtar","year":"2011"},{"key":"10.1016\/j.bcra.2025.100329_br0200","series-title":"Proceedings of the 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)","first-page":"1","article-title":"Survey of formal verification methods for smart contracts on blockchain","author":"Murray","year":"2019"},{"key":"10.1016\/j.bcra.2025.100329_br0210","doi-asserted-by":"crossref","DOI":"10.1016\/j.cose.2019.101654","article-title":"Blockchain smart contracts formalization: approaches and challenges to address vulnerabilities","volume":"88","author":"Singh","year":"2020","journal-title":"Comput. Secur."},{"key":"10.1016\/j.bcra.2025.100329_br0220","doi-asserted-by":"crossref","DOI":"10.1016\/j.cose.2021.102279","article-title":"Formal modelling and security analysis of bitcoin's payment protocol","volume":"107","author":"Modesti","year":"2021","journal-title":"Comput. Secur."},{"key":"10.1016\/j.bcra.2025.100329_br0230","series-title":"Perspectives in Business Informatics Research","first-page":"3","article-title":"Creation of smart-contracting collaborations for decentralized autonomous organizations","author":"Norta","year":"2015"},{"key":"10.1016\/j.bcra.2025.100329_br0240","series-title":"Proceedings of the 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)","first-page":"83","article-title":"Towards model checking approach for smart contract validation in the eip-1559 Ethereum","author":"Fekih","year":"2022"},{"key":"10.1016\/j.bcra.2025.100329_br0250","series-title":"Computer Aided Verification","first-page":"334","article-title":"The nuxmv symbolic model checker","author":"Cavada","year":"2014"},{"key":"10.1016\/j.bcra.2025.100329_br0260","series-title":"Proceedings of the 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS)","first-page":"1","article-title":"Formal verification of smart contracts based on users and blockchain behaviors models","author":"Abdellatif","year":"2018"},{"key":"10.1016\/j.bcra.2025.100329_br0270","series-title":"Proceedings of the 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)","first-page":"980","article-title":"Model-checking of smart contracts","author":"Neha\u00ef","year":"2019"},{"key":"10.1016\/j.bcra.2025.100329_br0280","series-title":"Runtime Verification","first-page":"122","article-title":"Statistical model checking: an overview","author":"Legay","year":"2010"},{"key":"10.1016\/j.bcra.2025.100329_br0290","series-title":"Proceedings of the 2018 Network and Distributed System Security Symposium","article-title":"Zeus: analyzing safety of smart contracts","author":"Kalra","year":"2018"},{"key":"10.1016\/j.bcra.2025.100329_br0300","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1134\/S0361768819080164","article-title":"Debugging smart contract's business logic using symbolic model checking","volume":"45","author":"Shishkin","year":"2019","journal-title":"Program. Comput. Softw."},{"key":"10.1016\/j.bcra.2025.100329_br0310","series-title":"Proceedings of the 29th USENIX Conference on Security Symposium","first-page":"2757","article-title":"Ethbmc: a bounded model checker for smart contracts","author":"Frank","year":"2022"},{"key":"10.1016\/j.bcra.2025.100329_br0320","series-title":"Proceedings of the 2022 6th International Conference on Information Technology (InCIT)","first-page":"74","article-title":"The swc-based security analysis tool for smart contract vulnerability detection","author":"Songsom","year":"2022"},{"key":"10.1016\/j.bcra.2025.100329_br0330","author":"Schwab"},{"issue":"3","key":"10.1016\/j.bcra.2025.100329_br0340","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","article-title":"Model checking of safety properties","volume":"19","author":"Kupferman","year":"1999","journal-title":"Form. Methods Syst. Des."},{"key":"10.1016\/j.bcra.2025.100329_br0350","author":"Dafflon"}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000569?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000569?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T11:42:20Z","timestamp":1778845340000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720925000569"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["S2096720925000569"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100329","relation":{},"ISSN":["2096-7209"],"issn-type":[{"value":"2096-7209","type":"print"}],"subject":[],"published":{"date-parts":[[2026,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Resolving the token loss vulnerability in the Ethereum ERC-20 standard","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100329","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 THE AUTHORS. Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100329"}}