{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T02:47:28Z","timestamp":1777949248321,"version":"3.51.4"},"publisher-location":"Singapore","reference-count":40,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819578252","type":"print"},{"value":"9789819578269","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-7826-9_18","type":"book-chapter","created":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T22:31:13Z","timestamp":1777847473000},"page":"341-362","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Strategy-Aware Liquidity for\u00a0Account-Based Blockchains"],"prefix":"10.1007","author":[{"given":"Ximeng","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sensen","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qianying","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guohui","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiping","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,1]]},"reference":[{"key":"18_CR1","unstructured":"Critical bug identified in 88 mph awarded with \\$42,069 bounty. https:\/\/iosiro.com\/blog\/88mph-bug-bounty-post-mortem. Accessed 31 May 2025"},{"key":"18_CR2","unstructured":"Decentralized escrow. https:\/\/github.com\/ShivamKumar2002\/30days-of-solidity-web3compass\/blob\/main\/day-24-decentralized-escrow\/DecentralizedEscrow.sol. Accessed 31 Oct 2025"},{"key":"18_CR3","unstructured":"Etherscan \u2013 Gift_1_ETH contract. https:\/\/etherscan.io\/address\/0xd8993f49f372bb014fb088eabec95cfdc795cbf6. Accessed 5 June 2025"},{"key":"18_CR4","unstructured":"Etherscan \u2013 Rubixi contract. https:\/\/etherscan.io\/address\/0xe82719202e5965Cf5D9B6673B7503a3b92DE20be. Accessed 31 May 2025"},{"key":"18_CR5","unstructured":"Extended version of the article and mechanization of the development. https:\/\/github.com\/lixm\/liquidity"},{"key":"18_CR6","unstructured":"How Akutar NFT loses 34M USD. https:\/\/blocksecteam.medium.com\/how-akutar-nft-loses-34m-usd-60d6cb053dff. Accessed 10 June 2025"},{"key":"18_CR7","unstructured":"Nexus Mutual \u2013 claim assessment. https:\/\/docs.nexusmutual.io\/protocol\/claims-assessment. Accessed 27 May 2025"},{"key":"18_CR8","unstructured":"Parity wallet hack: What, when and how? https:\/\/medium.com\/@web3author\/parity-wallet-hack-demystified-all-you-need-to-know-91b8dcb5b81. Accessed 10 June 2025"},{"key":"18_CR9","unstructured":"ROCQ. https:\/\/rocq-prover.org\/. Accessed 25 Aug 2025"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Annenkov, D., Nielsen, J.B., Spitters, B.: ConCert: a smart contract certification framework in COQ. In: the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP), pp. 215\u2013228 (2020)","DOI":"10.1145\/3372885.3373829"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on Ethereum smart contracts (SoK). In: the 6th International Conference on Principles of Security and Trust (POST), Held as Part of ETAPS, pp. 164\u2013186 (2017)","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Ferrando, A., Lipparini, E., Malvone, V.: Solvent: liquidity verification of smart contracts. In: International Conference on Integrated Formal Methods (IFM), pp. 256\u2013266 (2024)","DOI":"10.1007\/978-3-031-76554-4_14"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Lande, S., Murgia, M., Zunino, R.: Verifying liquidity of recursive Bitcoin contracts. Log. Methods Comput. Sci. 18 (2022)","DOI":"10.46298\/lmcs-18(1:22)2022"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Zunino, R.: BitML: a calculus for Bitcoin smart contracts. In: the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS), pp. 83\u2013100 (2018)","DOI":"10.1145\/3243734.3243795"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Zunino, R.: Verifying liquidity of Bitcoin contracts. In: International Conference on Principles of Security and Trust (POST), Held as Part of ETAPS, pp. 222\u2013247 (2019)","DOI":"10.1007\/978-3-030-17138-4_10"},{"key":"18_CR16","doi-asserted-by":"publisher","unstructured":"Bertot, Y., Cast\u00e9ran, P.: Interactive theorem proving and program development: COQ\u2019Art: the calculus of inductive constructions. Springer Science & Business Media (2013). https:\/\/doi.org\/10.1007\/978-3-662-07964-5","DOI":"10.1007\/978-3-662-07964-5"},{"key":"18_CR17","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall (1976)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Feist, J., Grieco, G., Groce, A.: Slither: a static analysis framework for smart contracts. In: IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pp. 8\u201315 (2019)","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"18_CR19","unstructured":"Ferariu, T., Wadler, P., Melkonian, O.: Validity, liquidity, and fidelity: formal verification for smart contracts in Cardano. In: The 6th International Workshop on Formal Methods for Blockchains (FMBC), pp. 1\u201321 (2025)"},{"key":"18_CR20","unstructured":"Kao, H.T., Chitra, T., Chiang, R., Morrow, J.: An analysis of the market risk to participants in the compound protocol. In: the Third International Symposium on Foundations and Applications of Blockchain (FAB), pp. 1\u201310 (2020)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Khan, Z.A., Namin, A.S.: Dynamic analysis for the detection of locked ether smart contracts. In: IEEE International Conference on Big Data (BigData), pp. 2466\u20132472 (2023)","DOI":"10.1109\/BigData59044.2023.10386471"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Lamela Seijas, P., Nemish, A., Smith, D., Thompson, S.: Marlowe: implementing and analysing financial contracts on blockchain. In: Financial Cryptography and Data Security: FC International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, pp. 496\u2013511 (2020)","DOI":"10.1007\/978-3-030-54455-3_35"},{"key":"18_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2023.100889","volume":"135","author":"C Laneve","year":"2023","unstructured":"Laneve, C.: Liquidity analysis in resource-aware programming. J. Logical Algebr. Methods Programm. 135, 100889 (2023)","journal-title":"J. Logical Algebr. Methods Programm."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Li, X., Chen, T., Luo, X., Wang, C.: CLUE: towards discovering locked cryptocurrencies in Ethereum. In: The 36th Annual ACM Symposium on Applied Computing (SAC), pp. 1584\u20131587 (2021)","DOI":"10.1145\/3412841.3442130"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Li, X., Nielson, F., Nielson, H.R.: Factorization of behavioral integrity. In: The 20th European Symposium on Research in Computer Security (ESORICS), pp. 500\u2013519 (2015)","DOI":"10.1007\/978-3-319-24177-7_25"},{"key":"18_CR26","unstructured":"Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). https:\/\/bitcoin.org\/bitcoin.pdf"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Nguyen, T.D., Pham, L.H., Sun, J., Lin, Y., Minh, Q.T.: sFuzz: an efficient adaptive fuzzer for solidity smart contracts. In: The ACM\/IEEE 42nd International Conference on Software Engineering (ICSE), pp. 778\u2013788 (2020)","DOI":"10.1145\/3377811.3380334"},{"key":"18_CR28","doi-asserted-by":"publisher","unstructured":"Nielsen, J.B., Spitters, B.: Smart contract interactions in Coq. In: International Symposium on Formal Methods (FM), pp. 380\u2013391. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-54994-7_29","DOI":"10.1007\/978-3-030-54994-7_29"},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Nikoli\u0107, I., Kolluri, A., Sergey, I., Saxena, P., Hobor, A.: Finding the greedy, prodigal, and suicidal contracts at scale. In: The 34th Annual Computer Security Applications Conference, pp. 653\u2013663 (2018)","DOI":"10.1145\/3274694.3274743"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Rafnsson, W., Hedin, D., Sabelfeld, A.: Securing interactive programs. In: the 25th IEEE Computer Security Foundations Symposium (CSF), pp. 293\u2013307 (2012)","DOI":"10.1109\/CSF.2012.15"},{"key":"18_CR31","unstructured":"Szabo, N.: Smart contracts: building blocks for digital markets. https:\/\/www.fon.hum.uva.nl\/rob\/Courses\/InformationInSpeech\/CDROM\/Literature\/LOTwinterschool2006\/szabo.best.vwh.net\/smart_contracts_2.html (1996)"},{"key":"18_CR32","unstructured":"Tadelis, S.: Game Theory: An Introduction. Princeton University Press (2013)"},{"key":"18_CR33","doi-asserted-by":"crossref","unstructured":"Tikhomirov, S., Voskresenskaya, E., Ivanitskiy, I., Takhaviev, R., Marchenko, E., Alexandrov, Y.: SmartCheck: static analysis of ethereum smart contracts. In: the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain, pp. 9\u201316 (2018)","DOI":"10.1145\/3194113.3194115"},{"key":"18_CR34","doi-asserted-by":"crossref","unstructured":"Tolmach, P., Li, Y., Lin, S., Liu, Y., Li, Z.: A survey of smart contract formal specification and verification. ACM Comput. Surv. 54(7), 148:1\u2013148:38 (2022)","DOI":"10.1145\/3464421"},{"key":"18_CR35","doi-asserted-by":"crossref","unstructured":"Torres, C.F., Iannillo, A.K., Gervais, A., State, R.: Confuzzius: a data dependency-aware hybrid fuzzer for smart contracts. In: IEEE European Symposium on Security and Privacy (EuroS&P), pp. 103\u2013119 (2021)","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"18_CR36","unstructured":"Torres, C.F., Steichen, M., State, R.: The art of the scam: demystifying honeypots in Ethereum smart contracts. In: 28th USENIX Security Symposium, pp. 1591\u20131607 (2019)"},{"key":"18_CR37","doi-asserted-by":"crossref","unstructured":"Tsankov, P., Dan, A., Drachsler-Cohen, D., Gervais, A., Buenzli, F., Vechev, M.: Securify: practical security analysis of smart contracts. In: ACM SIGSAC Conference on Computer and Communications Security (CCS), pp. 67\u201382 (2018)","DOI":"10.1145\/3243734.3243780"},{"key":"18_CR38","doi-asserted-by":"crossref","unstructured":"Werner, S., Perez, D., Gudgeon, L., Klages-Mundt, A., Harz, D., Knottenbelt, W.J.: SoK: Decentralized finance (DeFi). In: The 4th ACM Conference on Advances in Financial Technologies (AFT), pp. 30\u201346 (2022)","DOI":"10.1145\/3558535.3559780"},{"key":"18_CR39","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf"},{"key":"18_CR40","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111330","volume":"159","author":"J Yao","year":"2024","unstructured":"Yao, J., Li, S., Yin, X.: Sensor deception attacks against security in supervisory control systems. Automatica 159, 111330 (2024)","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-7826-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T22:31:16Z","timestamp":1777847476000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-7826-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819578252","9789819578269"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-7826-9_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.setta2025.uk\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}