{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:18:27Z","timestamp":1780391907463,"version":"3.54.1"},"reference-count":103,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T00:00:00Z","timestamp":1725840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Distrib. Ledger Technol."],"published-print":{"date-parts":[[2024,9,30]]},"abstract":"<jats:p>A smart contract is a computerised transaction agreement that carries out predefined terms without human involvement or third-party intermediaries. It serves as a trust intermediary in several industries, including finance, insurance, and supply chain management, in the blockchain 2.0 era. With the increasing interest in smart contracts, security has become a serious problem. Examining typical vulnerability types and vulnerability detection methodologies is of special importance. In this research, a comprehensive evaluation of common smart contract security vulnerabilities is conducted, and a three-tier threat model is then provided to classify the vulnerabilities. In addition, we examine fourteen existing smart contract analysis tools for finding vulnerabilities and classify them according to the main technique they apply. This article is designed to serve as a reference for people who wish to analyse deployed code and enhance existing detection techniques. At the conclusion, open issues and future research paths regarding smart contract vulnerability detection are presented.<\/jats:p>","DOI":"10.1145\/3643895","type":"journal-article","created":{"date-parts":[[2024,2,12]],"date-time":"2024-02-12T12:26:08Z","timestamp":1707740768000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["A Survey of Ethereum Smart Contract Security: Attacks and Detection"],"prefix":"10.1145","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2355-7517","authenticated-orcid":false,"given":"Tengyun","family":"Jiao","sequence":"first","affiliation":[{"name":"Swinburne University of Technology, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9346-0481","authenticated-orcid":false,"given":"Zhiyu","family":"Xu","sequence":"additional","affiliation":[{"name":"Swinburne University of Technology, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0357-642X","authenticated-orcid":false,"given":"Minfeng","family":"Qi","sequence":"additional","affiliation":[{"name":"Swinburne University of Technology, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0655-666X","authenticated-orcid":false,"given":"Sheng","family":"Wen","sequence":"additional","affiliation":[{"name":"Swinburne University of Technology, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5252-0831","authenticated-orcid":false,"given":"Yang","family":"Xiang","sequence":"additional","affiliation":[{"name":"Swinburne University of Technology, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-8935-6850","authenticated-orcid":false,"given":"Gary","family":"Nan","sequence":"additional","affiliation":[{"name":"Hyper Laboratory, Melbourne, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"Accessible: Retrieved from https:\/\/github.com\/pirapira\/bamboo. Bamboo Language."},{"key":"e_1_3_1_3_2","unstructured":"Hayden Adams Noah Zinsmeister Moody Salem River Keefer and Dan Robinson. 2021. Uniswap v3 Core."},{"key":"e_1_3_1_4_2","volume-title":"AFL - American Fuzzy Lop","year":"2018","unstructured":"AFL. 2018. AFL - American Fuzzy Lop. Retrieved June 20, 2022 from http:\/\/lcamtuf.coredump.cx\/afl\/"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45237-7_7"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190538"},{"key":"e_1_3_1_7_2","volume-title":"ANTLR - Another Tool for Language Recognition","year":"2018","unstructured":"ANTLR. 2018. ANTLR - Another Tool for Language Recognition. Retrieved June 20, 2022 from http:\/\/www.antlr.org\/"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2995183"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"e_1_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOMW.2018.8644136"},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_5"},{"key":"e_1_3_1_13_2","volume-title":"A Disastrous Vulnerability Found in Smart Contracts of BeautyChain (BEC)","author":"Bernhard Mueller","year":"2018","unstructured":"Mueller Bernhard. 2018. A Disastrous Vulnerability Found in Smart Contracts of BeautyChain (BEC). Retrieved June 20, 2022 from https:\/\/medium.com\/secbit-media\/a-disastrous-vulnerability-found-in-smart-contracts-of-beautychain-bec-dbf24ddbc30e"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2785841"},{"key":"e_1_3_1_15_2","unstructured":"Lexi Brent Anton Jurisevic Michael Kong Eric Liu Francois Gauthier Vincent Gramoli Ralph Holz and Bernhard Scholz. 2018. Vandal: A scalable security analysis framework for smart contracts. arXiv:1809.03981. Retrieved from https:\/\/arxiv.org\/abs\/1809.03981"},{"key":"e_1_3_1_16_2","volume-title":"EIP-150: Gas Cost Changes for IO-heavy Operations","author":"Buterin Vitalik","year":"2017","unstructured":"Vitalik Buterin. 2017. EIP-150: Gas Cost Changes for IO-heavy Operations. Retrieved June 20, 2022 from https:\/\/eips.ethereum.org\/EIPS\/eip-150"},{"key":"e_1_3_1_17_2","first-page":"22","article-title":"Ethereum white paper","volume":"1","author":"Buterin Vitalik","year":"2013","unstructured":"Vitalik Buterin et\u00a0al. 2013. Ethereum white paper. GitHub Repository 1 (2013), 22\u201323.","journal-title":"GitHub Repository"},{"key":"e_1_3_1_18_2","volume-title":"Cardano Blockchain Platform","year":"2019","unstructured":"Cardano. 2019. Cardano Blockchain Platform. Retrieved June 20, 2022 from https:\/\/docs.cardano.org\/en\/latest\/"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3391195"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243849"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/3488245"},{"key":"e_1_3_1_22_2","first-page":"138","volume-title":"Proceedings of the International Conference on Financial Cryptography and Data Security","author":"Crafa Silvia","year":"2019","unstructured":"Silvia Crafa, Matteo Di Pirro, and Elena Zucca. 2019. Is solidity solid enough?. In Proceedings of the International Conference on Financial Cryptography and Data Security. Springer, 138\u2013153."},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.5555\/3103305"},{"key":"e_1_3_1_24_2","volume-title":"Bitcoin Price History: 2009 to 2022","author":"DeMatteo Megan","year":"2022","unstructured":"Megan DeMatteo. 2022. Bitcoin Price History: 2009 to 2022."},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2018.8327567"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.2991\/ijndc.k.190710.003"},{"key":"e_1_3_1_27_2","unstructured":"Etherscan. 2021. Etherscan\u2013the ethereum blockchain explorer. https:\/\/etherscan.io\/ (2021)."},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_1_29_2","unstructured":"Xiaotao Feng Qin Wang Xiaogang Zhu and Sheng Wen. 2019. Bug searching in smart contract. arXiv:190500799. Retrieved from https:\/\/arxiv.org\/abs\/1905.00799"},{"key":"e_1_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00040"},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"e_1_3_1_32_2","volume-title":"How to Find $10M Just by Reading the Blockchain","author":"Golem Project","year":"2017","unstructured":"Project Golem. 2017. How to Find $10M Just by Reading the Blockchain. Retrieved June 20, 2022 from https:\/\/blog.golemproject.net\/how-to-find-10m-just-by-reading-the-blockchain\/"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-81-322-2268-2_59"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3416262"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/BLOC.2019.8751493"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-8315-0.ch002"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.23919\/ICACT.2017.7890132"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2017.16"},{"key":"e_1_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.3390\/electronics8050505"},{"key":"e_1_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.5555\/3489212.3489358"},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00066"},{"key":"e_1_3_1_44_2","first-page":"422","volume-title":"Proceedings of the International Conference on Computer Aided Verification","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffl\u00e9: On synthesis of program analyzers. In Proceedings of the International Conference on Computer Aided Verification. Springer, 422\u2013430."},{"key":"e_1_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/BRAINS49436.2020.9223278"},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_1_47_2","volume-title":"Iele: An intermediate-level Blockchain Language Designed and Implemented using Formal Semantics","author":"Kasampalis Theodoros","year":"2018","unstructured":"Theodoros Kasampalis, Dwight Guth, Brandon Moore, Traian Serbanuta, Virgil Serbanuta, Daniele Filaretti, Grigore Rosu, and Ralph Johnson. 2018. Iele: An intermediate-level Blockchain Language Designed and Implemented using Formal Semantics. Technical Report."},{"key":"e_1_3_1_48_2","unstructured":"Zulfiqar Ali Khan and Akbar Siami Namin. 2020. A survey on vulnerabilities of ethereum smart contracts. arXiv:2012.14481. Retrieved from https:\/\/arxiv.org\/abs\/2012.14481"},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW.2019.00048"},{"issue":"1","key":"e_1_3_1_50_2","article-title":"Ppcoin: Peer-to-peer crypto-currency with proof-of-stake","volume":"19","author":"King Sunny","year":"2012","unstructured":"Sunny King and Scott Nadal. 2012. Ppcoin: Peer-to-peer crypto-currency with proof-of-stake. self-published paper, August 19, 1 (2012).","journal-title":"self-published paper, August"},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-018-0002-y"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.08.020"},{"key":"e_1_3_1_53_2","doi-asserted-by":"publisher","DOI":"10.1109\/IOTSMS48152.2019.8939256"},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183495"},{"key":"e_1_3_1_55_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_1_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833613"},{"key":"e_1_3_1_57_2","volume-title":"The Maker Protocol: MakerDAO\u2019s Multi-Collateral Dai (MCD) System","year":"2020","unstructured":"MakerDao. 2020. The Maker Protocol: MakerDAO\u2019s Multi-Collateral Dai (MCD) System. Retrieved June 20, 2022 from https:\/\/makerdao.com\/en\/"},{"key":"e_1_3_1_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE50093.2020.9050163"},{"key":"e_1_3_1_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/2692956.2663188"},{"key":"e_1_3_1_60_2","doi-asserted-by":"publisher","DOI":"10.4018\/JCIT.2019010102"},{"key":"e_1_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/3282373.3282419"},{"key":"e_1_3_1_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"e_1_3_1_63_2","volume-title":"Solidity Programming Essentials: A Beginner\u2019s Guide to Build Smart Contracts for Ethereum and Blockchain","author":"Modi Ritesh","year":"2018","unstructured":"Ritesh Modi. 2018. Solidity Programming Essentials: A Beginner\u2019s Guide to Build Smart Contracts for Ethereum and Blockchain. Packt Publishing Ltd."},{"key":"e_1_3_1_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_1_65_2","first-page":"54","volume-title":"Proceedings of the 9th Annual HITB Security Conference","author":"Mueller Bernhard","year":"2018","unstructured":"Bernhard Mueller. 2018. Smashing ethereum smart contracts for fun and real profit. In Proceedings of the 9th Annual HITB Security Conference. 54."},{"key":"e_1_3_1_66_2","unstructured":"Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. (2008)."},{"issue":"1","key":"e_1_3_1_67_2","first-page":"101","article-title":"A survey about consensus algorithms used in blockchain","volume":"14","author":"Nguyen Giang-Truong","year":"2018","unstructured":"Giang-Truong Nguyen and Kyungbaek Kim. 2018. A survey about consensus algorithms used in blockchain. Journal of Information Processing Systems 14, 1 (2018), 101\u2013128.","journal-title":"Journal of Information Processing Systems"},{"key":"e_1_3_1_68_2","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_1_69_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00034"},{"key":"e_1_3_1_70_2","volume-title":"OpenZeppelin - SafeMath Library","year":"2017","unstructured":"OpenZeppelin. 2017. OpenZeppelin - SafeMath Library. Retrieved June 20, 2022 from https:\/\/github.com\/OpenZeppelin\/openzeppelin-solidity\/blob\/master\/contracts\/math\/SafeMath.sol\/"},{"key":"e_1_3_1_71_2","volume-title":"Parity Wallet Attack Explanation","author":"Palladino Santiago","year":"2017","unstructured":"Santiago Palladino. 2017. Parity Wallet Attack Explanation. Retrieved June 20, 2022 from https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7\/"},{"key":"e_1_3_1_72_2","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"e_1_3_1_73_2","unstructured":"Purathani Praitheeshan Lei Pan Jiangshan Yu Joseph Liu and Robin Doss. 2019. Security analysis methods on ethereum smart contract vulnerabilities: A survey. arXiv:1908.08605. Retrieved from https:\/\/arxiv.org\/abs\/1908.08605"},{"key":"e_1_3_1_74_2","volume-title":"ConsenSys Quorum - ConsenSys Diligence","year":"2018","unstructured":"Quorum. 2018. ConsenSys Quorum - ConsenSys Diligence. Retrieved June 20, 2022 from https:\/\/consensys.net\/quorum\/"},{"key":"e_1_3_1_75_2","volume-title":"Remix - Solidity IDE","year":"2016","unstructured":"Remix. 2016. Remix - Solidity IDE. Retrieved June 20, 2022 from https:\/\/ethereum.github.io\/browser-solidity\/"},{"key":"e_1_3_1_76_2","first-page":"22","volume-title":"Proceedings of the 2020 IEEE International Workshop on Blockchain Oriented Software Engineering","author":"Samreen Noama Fatima","year":"2020","unstructured":"Noama Fatima Samreen and Manar H. Alalfi. 2020. Reentrancy vulnerability identification in ethereum smart contracts. In Proceedings of the 2020 IEEE International Workshop on Blockchain Oriented Software Engineering. IEEE, 22\u201329."},{"key":"e_1_3_1_77_2","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB52558.2021.00010"},{"key":"e_1_3_1_78_2","volume-title":"MythX - ConsenSys Diligence","year":"2018","unstructured":"Scilla. 2018. MythX - ConsenSys Diligence. Retrieved June 20, 2022 from https:\/\/mythx.io\/"},{"key":"e_1_3_1_79_2","volume-title":"Scilla: Safe-By-Design Smart Contract Language","year":"2018","unstructured":"Scilla. 2018. Scilla: Safe-By-Design Smart Contract Language. Retrieved June 20, 2022 from https:\/\/scilla.readthedocs.io\/en\/latest\/"},{"key":"e_1_3_1_80_2","volume-title":"Slither, the Solidity Source Analyzer","year":"2018","unstructured":"Scilla. 2018. Slither, the Solidity Source Analyzer. Retrieved June 20, 2022 from https:\/\/mythx.io\/"},{"key":"e_1_3_1_81_2","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2016.043"},{"key":"e_1_3_1_82_2","first-page":"1361","volume-title":"Proceedings of the 30th USENIX Security Symposium","author":"So Sunbeom","year":"2021","unstructured":"Sunbeom So, Seongjoon Hong, and Hakjoo Oh. 2021. \\(\\lbrace\\) SmarTest \\(\\rbrace\\) : Effectively hunting vulnerable transaction sequences in smart contracts through language \\(\\lbrace\\) Model-Guided \\(\\rbrace\\) symbolic execution. In Proceedings of the 30th USENIX Security Symposium. 1361\u20131378."},{"key":"e_1_3_1_83_2","volume-title":"Solhint - a Open Source Project for Linting Solidity Code","year":"2018","unstructured":"Solhint. 2018. Solhint - a Open Source Project for Linting Solidity Code. Retrieved June 20, 2022 from https:\/\/protofire.github.io\/solhint\/"},{"key":"e_1_3_1_84_2","doi-asserted-by":"publisher","DOI":"10.5210\/fm.v2i9.548"},{"key":"e_1_3_1_85_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-78621-2_14"},{"key":"e_1_3_1_86_2","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_1_87_2","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"key":"e_1_3_1_88_2","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274737"},{"key":"e_1_3_1_89_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2017.3571047"},{"key":"e_1_3_1_90_2","volume-title":"TRON - DECENTRALIZE THE WEB","year":"2019","unstructured":"Tron. 2019. TRON - DECENTRALIZE THE WEB. Retrieved June 20, 2022 from https:\/\/www.tron.network\/"},{"key":"e_1_3_1_91_2","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_1_92_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2935873"},{"key":"e_1_3_1_93_2","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2020.2968505"},{"key":"e_1_3_1_94_2","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2018.8327565"},{"issue":"2014","key":"e_1_3_1_95_2","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood et\u00a0al. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151, 2014 (2014), 1\u201332.","journal-title":"Ethereum Project Yellow Paper"},{"key":"e_1_3_1_96_2","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417064"},{"key":"e_1_3_1_97_2","volume-title":"XACML - eXtensible Access Control Markup Language","year":"2019","unstructured":"XACML. 2019. XACML - eXtensible Access Control Markup Language. Retrieved June 20, 2022 from https:\/\/tools.ietf.org\/html\/rfc7061"},{"key":"e_1_3_1_98_2","first-page":"2019","article-title":"Eos: An architectural, performance, and economic analysis","volume":"11","author":"Xu Brent","year":"2018","unstructured":"Brent Xu, Dhruv Luthra, Zak Cole, and Nate Blakely. 2018. Eos: An architectural, performance, and economic analysis. Retrieved June 11 (2018), 2019.","journal-title":"Retrieved June"},{"key":"e_1_3_1_99_2","doi-asserted-by":"publisher","DOI":"10.1155\/2021\/5798033"},{"key":"e_1_3_1_100_2","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/6191537"},{"key":"e_1_3_1_101_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2019.00049"},{"key":"e_1_3_1_102_2","volume-title":"Parity Wallet Frozen Attack Explanation","author":"Yuan Michael","year":"2017","unstructured":"Michael Yuan. 2017. Parity Wallet Frozen Attack Explanation. Retrieved June 20, 2022 from https:\/\/medium.com\/cybermiles\/i-accidentally-killed-it-and-evaporated-300-million-6b975dc1f76b"},{"key":"e_1_3_1_103_2","volume-title":"The Z3 Theorem Prover","year":"2017","unstructured":"Z3. 2017. The Z3 Theorem Prover. Retrieved June 20, 2022 from https:\/\/github.com\/Z3Prover\/z3\/"},{"key":"e_1_3_1_104_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/454"}],"container-title":["Distributed Ledger Technologies: Research and Practice"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643895","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3643895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:57:34Z","timestamp":1750291054000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643895"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,9]]},"references-count":103,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9,30]]}},"alternative-id":["10.1145\/3643895"],"URL":"https:\/\/doi.org\/10.1145\/3643895","relation":{},"ISSN":["2769-6480","2769-6480"],"issn-type":[{"value":"2769-6480","type":"print"},{"value":"2769-6480","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,9]]},"assertion":[{"value":"2022-09-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-01-27","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-09-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}