{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:26:05Z","timestamp":1772119565843,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62332004"],"award-info":[{"award-number":["62332004"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Sichuan Provincial Natural Science Foundation for Distinguished Young Scholars","award":["2023NSFSC1963"],"award-info":[{"award-number":["2023NSFSC1963"]}]},{"name":"Hong Kong RGC Projects","award":["PolyU15222320,PolyU15231223"],"award-info":[{"award-number":["PolyU15222320,PolyU15231223"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3690329","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"1016-1030","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards Automatic Discovery of Denial of Service Weaknesses in Blockchain Resource Models"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4594-0394","authenticated-orcid":false,"given":"Feng","family":"Luo","sequence":"first","affiliation":[{"name":"The Hong Kong Polytechnic University & University of Electronic Science and Technology of China, Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-2865-2801","authenticated-orcid":false,"given":"Huangkun","family":"Lin","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4382-577X","authenticated-orcid":false,"given":"Zihao","family":"Li","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9082-3208","authenticated-orcid":false,"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9250-6095","authenticated-orcid":false,"given":"Ruijie","family":"Luo","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2131-1046","authenticated-orcid":false,"given":"Zheyuan","family":"He","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4368-0950","authenticated-orcid":false,"given":"Shuwei","family":"Song","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9165-8331","authenticated-orcid":false,"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-3871-2268","authenticated-orcid":false,"given":"Wenxuan","family":"Luo","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2016. Ethereum faces another dos attack. https:\/\/cryptohustle.com\/ethereumfaces-another-dos-attack\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2016. Transaction spam attack: Next Steps. https:\/\/blog.ethereum.org\/2016\/09\/ 22\/transaction-spam-attack-next-steps\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2019. Smart contract security tool for Ethereum. https:\/\/mythx.io\/."},{"key":"e_1_3_2_1_4_1","unstructured":"2021. Binance Markets. https:\/\/www.binance.com\/en\/markets."},{"key":"e_1_3_2_1_5_1","unstructured":"2021. Resource Model. https:\/\/developers.tron.network\/docs\/resource-model."},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Coindataflow. https:\/\/coindataflow.com\/en"},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Common Weakness Enumeration. https:\/\/cwe.mitre.org\/."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Cryptocurrencies - Total Market Capitalization. https:\/\/sc.macromicro. me\/collections\/3785\/crypto\/33112\/cryptocurrency-total-market-cap."},{"key":"e_1_3_2_1_9_1","unstructured":"2022. Deploy the FullNode or SuperNode. https:\/\/developers.tron.network\/docs\/ fullnode."},{"key":"e_1_3_2_1_10_1","unstructured":"2022. GPT-4: The Next Breakthrough in Language Modeling. https:\/\/openai.com\/gpt-4\/"},{"key":"e_1_3_2_1_11_1","unstructured":"2022. Hardware requirements. https:\/\/developers.rsk.co\/rsk\/node\/install\/ requirements\/."},{"key":"e_1_3_2_1_12_1","unstructured":"2022. The Maude System. http:\/\/maude.cs.illinois.edu\/w\/index.php\/The_Maude_ System."},{"key":"e_1_3_2_1_13_1","unstructured":"2022. Metallicus. https:\/\/developer.wax.io\/dapps\/supported-operating-systems\/"},{"key":"e_1_3_2_1_14_1","unstructured":"2022. Prequisites. https:\/\/docs.telos.net\/eosio-docs\/getting-started\/developerenvironment\/1.1-prequisites."},{"key":"e_1_3_2_1_15_1","unstructured":"2022. Supported Operating Systems. https:\/\/developer.wax.io\/dapps\/supportedoperating-systems\/."},{"key":"e_1_3_2_1_16_1","unstructured":"2022. System Requirements. https:\/\/docs.klaytn.com\/node\/endpoint-node\/system-requirements."},{"key":"e_1_3_2_1_17_1","unstructured":"2023. Today's Cryptocurrency Prices by Market Cap. https:\/\/coinmarketcap.com\/."},{"key":"e_1_3_2_1_18_1","unstructured":"2024. Our full paper with the appendix. https:\/\/ffeng-luo.github.io\/."},{"key":"e_1_3_2_1_19_1","volume-title":"Vivek Nigam, Andre Scedrov, and Carolyn Talcott.","author":"Urquiza Abra\u00e3o Aires","year":"2019","unstructured":"Abra\u00e3o Aires Urquiza, Musab A. AlTurki, Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. 2019. Resource-Bounded Intruders in Denial of Service Attacks. In IEEE CSF (2019)."},{"key":"e_1_3_2_1_20_1","volume-title":"Systems and software verification: model-checking techniques and tools","author":"B\u00e9rard B\u00e9atrice","unstructured":"B\u00e9atrice B\u00e9rard, Michel Bidoit, Alain Finkel, Fran\u00e7ois Laroussinie, Antoine Petit, Laure Petrucci, and Philippe Schnoebelen. 2013. Systems and software verification: model-checking techniques and tools. Springer Science & Business Media."},{"key":"e_1_3_2_1_21_1","volume-title":"A survey on Ethereum systems security: Vulnerabilities, attacks and defenses. arXiv","author":"Chen Huashan","year":"2019","unstructured":"Huashan Chen, Marcus Pendleton, Laurent Njilla, and Shouhuai Xu. 2019. A survey on Ethereum systems security: Vulnerabilities, attacks and defenses. arXiv (2019)."},{"key":"e_1_3_2_1_22_1","volume-title":"Man Ho Au, and Xiaosong Zhang","author":"Chen Ting","year":"2017","unstructured":"Ting Chen, Xiaoqi Li, Ying Wang, Jiachi Chen, Zihao Li, Xiapu Luo, Man Ho Au, and Xiaosong Zhang. 2017. An adaptive gas cost mechanism for ethereum to defend against under-priced dos attacks. In ISPEC (2017)."},{"key":"e_1_3_2_1_23_1","volume-title":"Dataether: Data exploration framework for ethereum","author":"Chen Ting","year":"2019","unstructured":"Ting Chen, Zihao Li, Yufei Zhang, Xiapu Luo, Ang Chen, Kun Yang, Bin Hu, Tong Zhu, Shifang Deng, Teng Hu, et al. 2019. Dataether: Data exploration framework for ethereum. In IEEE ICDCS (2019)."},{"key":"e_1_3_2_1_24_1","volume-title":"Xiaodong Lin, and Xiaosong Zhang.","author":"Chen Ting","year":"2020","unstructured":"Ting Chen, Zihao Li, Yuxiao Zhu, Jiachi Chen, Xiapu Luo, John Chi-Shing Lui, Xiaodong Lin, and Xiaosong Zhang. 2020. Understanding ethereum via graph analysis. ACM TOIT (2020)."},{"key":"e_1_3_2_1_25_1","unstructured":"Alexandre David Jacob Illum Kim G Larsen and Arne Skou. 2018. Model-based framework for schedulability analysis using UPPAAL 4.1. In Model-based design for embedded systems."},{"key":"e_1_3_2_1_26_1","volume-title":"Two examples of verification of multirate timed automata with Kronos","author":"Daws Conrado","unstructured":"Conrado Daws and Sergio Yovine. 1995. Two examples of verification of multirate timed automata with Kronos. In IEEE RTSS."},{"key":"e_1_3_2_1_27_1","unstructured":"Ardit Dika. 2017. Ethereum smart contracts: Security vulnerabilities and security tools. Master's thesis. NTNU."},{"key":"e_1_3_2_1_28_1","volume-title":"Precise attack synthesis for smart contracts. arXiv","author":"Feng Yu","year":"2019","unstructured":"Yu Feng, Emina Torlak, and Rastislav Bodik. 2019. Precise attack synthesis for smart contracts. arXiv (2019)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Asem Ghaleb Julia Rubin and Karthik Pattabiraman. 2022. ETainter: Detecting Gas-Related Vulnerabilities in Smart Contracts. In ISSTA.","DOI":"10.1145\/3533767.3534378"},{"key":"e_1_3_2_1_30_1","volume-title":"Madmax: Surviving out-of-gas conditions in ethereum smart contracts. OOPSLA","author":"Grech Neville","year":"2018","unstructured":"Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. 2018. Madmax: Surviving out-of-gas conditions in ethereum smart contracts. OOPSLA (2018)."},{"key":"e_1_3_2_1_31_1","unstructured":"Richard Greene and Michael N Johnstone. 2018. An investigation into a denial of service attack on an ethereum network. (2018)."},{"key":"e_1_3_2_1_32_1","volume-title":"EOSAFE: Security Analysis of EOSIO Smart Contracts. In USENIX Security.","author":"He Ningyu","year":"2021","unstructured":"Ningyu He, Ruiyi Zhang, Haoyu Wang, Lei Wu, Xiapu Luo, Yao Guo, Ting Yu, and Xuxian Jiang. 2021. EOSAFE: Security Analysis of EOSIO Smart Contracts. In USENIX Security."},{"key":"e_1_3_2_1_33_1","volume-title":"TokenCat: detect flaw of authentication on ERC20 tokens","author":"He Zheyuan","unstructured":"Zheyuan He, Zhou Liao, Feng Luo, Dijun Liu, Ting Chen, and Zihao Li. 2022. TokenCat: detect flaw of authentication on ERC20 tokens. In IEEE ICC."},{"key":"e_1_3_2_1_34_1","volume-title":"Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In ASE","author":"Jiang Bo","year":"2018","unstructured":"Bo Jiang, Ye Liu, and WK Chan. 2018. Contractfuzzer: Fuzzing smart contracts for vulnerability detection. In ASE (2018)."},{"key":"e_1_3_2_1_35_1","volume-title":"Vivek Nigam, Andre Scedrov, and Carolyn Talcott.","author":"Kanovich Max","year":"2016","unstructured":"Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. 2016. Timed multiset rewriting and the verification of time-sensitive distributed systems. In Formal Modeling and Analysis of Timed Systems."},{"key":"e_1_3_2_1_36_1","volume-title":"Vivek Nigam, Andre Scedrov, and Carolyn Talcott.","author":"Kanovich Max","year":"2017","unstructured":"Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. 2017. Time, computational complexity, and probability in the analysis of distance-bounding protocols. Journal of Computer Security (2017)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.23919\/ICACT53585.2022.9728898"},{"key":"e_1_3_2_1_38_1","volume-title":"USENIX WOOT","author":"Lee Sangsup","year":"2019","unstructured":"Sangsup Lee, Daejun Kim, Dongkwan Kim, Sooel Son, and Yongdae Kim. 2019. Who Spent My EOS? On the (In)Security of Resource Management of EOS.IO. In USENIX WOOT (2019)."},{"key":"e_1_3_2_1_39_1","volume-title":"Text Processing Tools. \" O'Reilly Media","author":"Levine John","unstructured":"John Levine. 2009. Flex & Bison: Text Processing Tools. \" O'Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_40_1","volume-title":"NDSS","author":"Li Kai","year":"2022","unstructured":"Kai Li, Jiaqi Chen, Xianghong Liu, Yuzhe Tang, XiaoFeng Wang, and Xiapu Luo. 2021. As strong as its weakest link: How to break blockchain dapps at RPC service. In NDSS (2022)."},{"key":"e_1_3_2_1_41_1","volume-title":"DETER: Denial of Ethereum Txpool SERvices. In ACM CCS","author":"Li Kai","year":"2021","unstructured":"Kai Li, Yibo Wang, and Yuzhe Tang. 2021. DETER: Denial of Ethereum Txpool SERvices. In ACM CCS (2021)."},{"key":"e_1_3_2_1_42_1","volume-title":"A survey on the security of blockchain systems. FGCS","author":"Li Xiaoqi","year":"2020","unstructured":"Xiaoqi Li, Peng Jiang, Ting Chen, Xiapu Luo, and Qiaoyan Wen. 2020. A survey on the security of blockchain systems. FGCS (2020)."},{"key":"e_1_3_2_1_43_1","volume-title":"Scvhunter: Smart contract vulnerability detection based on heterogeneous graph attention network. In ICSE.","author":"Luo Feng","year":"2024","unstructured":"Feng Luo, Ruijie Luo, Ting Chen, Ao Qiao, Zheyuan He, Shuwei Song, Yu Jiang, and Sixing Li. 2024. Scvhunter: Smart contract vulnerability detection based on heterogeneous graph attention network. In ICSE."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"crossref","unstructured":"Loi Luu Duc-Hiep Chu Hrishi Olickel Prateek Saxena and Aquinas Hobor. 2016. Making smart contracts smarter. In ACM CCS.","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Michael Mirkin Yan Ji Jonathan Pang Ariah Klages-Mundt Ittay Eyal and Ari Juels. 2020. BDoS: Blockchain Denial-of-Service. In ACM CCS.","DOI":"10.1145\/3372297.3417247"},{"key":"e_1_3_2_1_46_1","volume-title":"Manticore: A userfriendly symbolic execution framework for binaries and smart contracts. In ASE.","author":"Mossberg Mark","year":"2019","unstructured":"Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019. Manticore: A userfriendly symbolic execution framework for binaries and smart contracts. In ASE."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Ivica Nikolic Aashish Kolluri Ilya Sergey Prateek Saxena and Aquinas Hobor. 2018. Finding the greedy prodigal and suicidal contracts at scale. In ACSAC.","DOI":"10.1145\/3274694.3274743"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Carlos Olarte and Peter Csaba \u00d6lveczky. 2024. Timed Strategies for Real-Time Rewrite Theories. In WRLA.","DOI":"10.1007\/978-3-031-65941-6_7"},{"key":"e_1_3_2_1_49_1","volume-title":"Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science","author":"\u00d6lveczky Peter Csaba","year":"2002","unstructured":"Peter Csaba \u00d6lveczky and Jos\u00e9 Meseguer. 2002. Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science (2002)."},{"key":"e_1_3_2_1_50_1","volume-title":"Broken metre: Attacking resource metering in EVM. arXiv","author":"Perez Daniel","year":"2019","unstructured":"Daniel Perez and Benjamin Livshits. 2019. Broken metre: Attacking resource metering in EVM. arXiv (2019)."},{"key":"e_1_3_2_1_51_1","volume-title":"Scalable role-based access control using the eos blockchain. arXiv","author":"Rahman Mohsin Ur","year":"2020","unstructured":"Mohsin Ur Rahman. 2020. Scalable role-based access control using the eos blockchain. arXiv (2020)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Sergio Ram\u00edrez Miguel Romero Camilo Rocha and Frank Valencia. 2018. Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. In WRLA.","DOI":"10.1007\/978-3-319-99840-4_13"},{"key":"e_1_3_2_1_53_1","volume-title":"Classification of ethereum vulnerabilities and their propagations","author":"Staderini Mirko","unstructured":"Mirko Staderini, Caterina Palli, and Andrea Bondavalli. 2020. Classification of ethereum vulnerabilities and their propagations. In IEEE BCCA."},{"key":"e_1_3_2_1_54_1","volume-title":"Mutation testing for integer overflow in ethereum smart contracts. Tsinghua Science and Technology","author":"Sun Jinlei","year":"2022","unstructured":"Jinlei Sun, Song Huang, Changyou Zheng, Tingyong Wang, Cheng Zong, and Zhanwei Hui. 2022. Mutation testing for integer overflow in ethereum smart contracts. Tsinghua Science and Technology (2022)."},{"key":"e_1_3_2_1_55_1","volume-title":"When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan. arXiv","author":"Sun Yuqiang","year":"2023","unstructured":"Yuqiang Sun, DaoyuanWu, Yue Xue, Han Liu, HaijunWang, Zhengzi Xu, Xiaofei Xie, and Yang Liu. 2023. When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan. arXiv (2023)."},{"key":"e_1_3_2_1_56_1","volume-title":"Panda: Security analysis of algorand smart contracts. In USENIX Security.","author":"Sun Zhiyuan","year":"2023","unstructured":"Zhiyuan Sun, Xiapu Luo, and Yinqian Zhang. 2023. Panda: Security analysis of algorand smart contracts. In USENIX Security."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-19807-7_36"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_59_1","volume-title":"Osiris: Hunting for integer bugs in ethereum smart contracts. In ACSAC","author":"Torres Christof Ferreira","year":"2018","unstructured":"Christof Ferreira Torres, Julian Sch\u00fctte, and Radu State. 2018. Osiris: Hunting for integer bugs in ethereum smart contracts. In ACSAC (2018)."},{"key":"e_1_3_2_1_60_1","volume-title":"Security and privacy issues in blockchain and its applications. IET Blockchain","author":"Wang Liangmin","year":"2023","unstructured":"Liangmin Wang, Victor S. Sheng, Boris D\u00fcdder, Haiqin Wu, and Huijuan Zhu. 2023. Security and privacy issues in blockchain and its applications. IET Blockchain (2023)."},{"key":"e_1_3_2_1_61_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper","author":"GavinWood","year":"2014","unstructured":"GavinWood et al. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper (2014)."},{"key":"e_1_3_2_1_62_1","volume-title":"Deepinfer: Deep type inference from smart contract bytecode. In ESEC\/FSE.","author":"Zhao Kunsong","year":"2023","unstructured":"Kunsong Zhao, Zihao Li, Jianfeng Li, He Ye, Xiapu Luo, and Ting Chen. 2023. Deepinfer: Deep type inference from smart contract bytecode. In ESEC\/FSE."},{"key":"e_1_3_2_1_63_1","volume-title":"A2mm: Mitigating frontrunning, transaction reordering and consensus instability in decentralized exchanges. arXiv","author":"Zhou Liyi","year":"2021","unstructured":"Liyi Zhou, Kaihua Qin, and Arthur Gervais. 2021. A2mm: Mitigating frontrunning, transaction reordering and consensus instability in decentralized exchanges. arXiv (2021)."}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","location":"Salt Lake City UT USA","acronym":"CCS '24","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3690329","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3690329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:15:35Z","timestamp":1755843335000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3690329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":63,"alternative-id":["10.1145\/3658644.3690329","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3690329","relation":{},"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2024-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}