{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:03:37Z","timestamp":1776305017982,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"PNRR NextGeneration EU - SERICS","award":["PE00000014 - CUP H73C22000- 89001"],"award-info":[{"award-number":["PE00000014 - CUP H73C22000- 89001"]}]},{"name":"PNRR NextGeneration EU - iNEST","award":["ECS00000043 ? CUP H43C22000540006"],"award-info":[{"award-number":["ECS00000043 ? CUP H43C22000540006"]}]},{"name":"University of Parma - Bando di Ateneo per la Ricerca 2022","award":["MUR_DM737_2022_- FIL_PROGETTI_B_ARCERI_COFIN"],"award-info":[{"award-number":["MUR_DM737_2022_- FIL_PROGETTI_B_ARCERI_COFIN"]}]},{"name":"University of Parma - Bando di Ateneo per la Ricerca 2022","award":["CUP: D91B210 05370003"],"award-info":[{"award-number":["CUP: D91B210 05370003"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,31]]},"DOI":"10.1145\/3672608.3707728","type":"proceedings-article","created":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T18:26:54Z","timestamp":1747247214000},"page":"338-347","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8074-8980","authenticated-orcid":false,"given":"Luca","family":"Olivieri","sequence":"first","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9930-8854","authenticated-orcid":false,"given":"Luca","family":"Negrini","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5150-0393","authenticated-orcid":false,"given":"Vincenzo","family":"Arceri","sequence":"additional","affiliation":[{"name":"University of Parma, Parma, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4678-933X","authenticated-orcid":false,"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0946-5440","authenticated-orcid":false,"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2973-0384","authenticated-orcid":false,"given":"Fausto","family":"Spoto","sequence":"additional","affiliation":[{"name":"University of Verona, Verona, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2020.101227"},{"key":"e_1_3_2_1_2_1","volume-title":"Mastering Ethereum: Building Smart Contracts and Dapps. O'Reilly.","author":"Antonopoulos A. M.","year":"2018","unstructured":"A. M. Antonopoulos and G. Wood. 2018. Mastering Ethereum: Building Smart Contracts and Dapps. O'Reilly."},{"key":"e_1_3_2_1_3_1","volume-title":"Extorsionware: Exploiting Smart Contract Vulnerabilities for Fun and Profit. ArXiv abs\/2203.09843","author":"Brighente Alessandro","year":"2022","unstructured":"Alessandro Brighente, Mauro Conti, and Sathish Kumar. 2022. Extorsionware: Exploiting Smart Contract Vulnerabilities for Fun and Profit. ArXiv abs\/2203.09843 (2022). https:\/\/arxiv.org\/abs\/2203.09843"},{"key":"e_1_3_2_1_4_1","unstructured":"Vitalik Buterin. 2016. EIP-170: Contract code size limit. https:\/\/eips.ethereum.org\/EIPS\/eip-170 Accessed: 02\/2024."},{"key":"e_1_3_2_1_5_1","volume-title":"Extorsionware: Bringing Ransomware Attacks to Blockchain Smart Contracts. Master thesis","author":"Cattai Christian","year":"2022","unstructured":"Christian Cattai. 2022. Extorsionware: Bringing Ransomware Attacks to Blockchain Smart Contracts. Master thesis. University of Padua, Italy."},{"key":"e_1_3_2_1_6_1","volume-title":"CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection. arXiv preprint arXiv:2408.15292","author":"Chen Xiao","year":"2024","unstructured":"Xiao Chen. 2024. CrossInspector: A Static Analysis Approach for Cross-Contract Vulnerability Detection. arXiv preprint arXiv:2408.15292 (2024)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263744"},{"key":"e_1_3_2_1_8_1","volume-title":"Principles of Abstract Interpretation","author":"Cousot Patrick","unstructured":"Patrick Cousot. 2021. Principles of Abstract Interpretation. MIT Press."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_10_1","unstructured":"CWE Content Team MITRE. 2010. CWE-829: Inclusion of Functionality from Untrusted Control Sphere. https:\/\/cwe.mitre.org\/data\/definitions\/829.html Accessed: 12\/2022."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48899-7_10"},{"key":"e_1_3_2_1_12_1","unstructured":"Hyperledger Fabric. 2024. Channels. https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.5\/channels.html#channels (Accessed 04\/2024)."},{"key":"e_1_3_2_1_13_1","first-page":"12","volume-title":"Proceedings of the First Italian Conference on Cybersecurity (ITASEC17)","volume":"247","author":"Ferrara Pietro","year":"2017","unstructured":"Pietro Ferrara, Elisa Burato, and Fausto Spoto. 2017. Security Analysis of the OWASP Benchmark with Julia. In Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy, January 17\u201320, 2017 (CEUR Workshop Proceedings, Vol. 1816). CEUR-WS.org, 242\u2013247. http:\/\/ceur-ws.org\/Vol-1816\/paper-24.pdf Accessed: 01-12-2022."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464316"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02547-2_4"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-39322-9_2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194021500303"},{"key":"e_1_3_2_1_18_1","unstructured":"Hyperledger. 2024. Hyperledger Fabric Go API Documentation - Shim Interfaces. https:\/\/github.com\/hyperledger\/fabric-chaincode-go\/blob\/b84622ba6a7a9e543f3ca1994850c41423bc29a2\/shim\/interfaces.go Accessed 04\/2024."},{"key":"e_1_3_2_1_19_1","unstructured":"Hyperledger. 2024. Hyperledger Fabric Go API Documentation - Shim Response. https:\/\/github.com\/hyperledger\/fabric-chaincode-go\/blob\/b84622ba6a7a9e543f3ca1994850c41423bc29a2\/shim\/response.go Accessed 04\/2024."},{"key":"e_1_3_2_1_20_1","unstructured":"Hyperledger. 2024. Transaction Flow - Hyperledger Fabric Documentation. https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.5\/txflow.html Accessed 04\/2024."},{"key":"e_1_3_2_1_21_1","unstructured":"IBM. 2024. What is hyperledger fabric? https:\/\/www.ibm.com\/topics\/hyperledger (Accessed 03\/2024)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_23_1","unstructured":"kzhry. 2021. Chaincode Analyzer. https:\/\/github.com\/hyperledger-labs\/chaincode-analyzerc Accessed: 09\/2022."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534222"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC53001.2021.9631249"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3117966"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341105.3373924"},{"key":"e_1_3_2_1_29_1","unstructured":"Nick Mudge. 2020. ERC-2535: Diamonds Multi-Facet Proxy. https:\/\/eips.ethereum.org\/EIPS\/eip-2535 Accessed: 02\/2024."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71379-8_3"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-9601-6_2"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3495535"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/PerComWorkshops56833.2023.10150247"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3410019"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643567"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.23"},{"key":"e_1_3_2_1_37_1","volume-title":"Towards Compliance of Smart Contracts with the European Union Data Act. In CEUR Workshop Proceedings","volume":"3629","author":"Olivieri Luca","year":"2024","unstructured":"Luca Olivieri and Luca Pasetto. 2024. Towards Compliance of Smart Contracts with the European Union Data Act. In CEUR Workshop Proceedings, Vol. 3629. https:\/\/ceur-ws.org\/Vol-3629"},{"key":"e_1_3_2_1_38_1","volume-title":"European Union Data Act and Blockchain Technology: Challenges and New Directions. CEUR Workshop Proceedings 3791","author":"Olivieri Luca","year":"2024","unstructured":"Luca Olivieri, Luca Pasetto, Luca Negrini, and Pietro Ferrara. 2024. European Union Data Act and Blockchain Technology: Challenges and New Directions. CEUR Workshop Proceedings 3791. https:\/\/ceur-ws.org\/Vol-3791"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-024-00758-x"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520313.3534658"},{"key":"e_1_3_2_1_41_1","unstructured":"OpenZeppelin. 2018. Proxy Patterns. https:\/\/blog.openzeppelin.com\/proxy-patterns\/ Accessed: 02\/2024."},{"key":"e_1_3_2_1_42_1","unstructured":"Santiago Palladino. 2017. The Parity Wallet Hack Explained. https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7\/ Accessed: 03\/2024."},{"key":"e_1_3_2_1_43_1","unstructured":"Santiago Palladino. 2017. Parity Wallet Hack Reloaded. https:\/\/blog.openzeppelin.com\/parity-wallet-hack-reloaded\/ Accessed: 03\/2024."},{"key":"e_1_3_2_1_44_1","unstructured":"Nikhil Parasaram. 2020. Mythril Wiki Page. https:\/\/github.com\/ConsenSys\/mythril\/wiki Accessed 2022"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER50967.2021.00089"},{"key":"e_1_3_2_1_46_1","volume-title":"A Hacking of More Than $50 Million Dashes Hopes in the World of Virtual Currency. The New York Times","author":"Popper Nathaniel","year":"2016","unstructured":"Nathaniel Popper. 2016. A Hacking of More Than $50 Million Dashes Hopes in the World of Virtual Currency. The New York Times (2016). June 17th."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2021.08.007"},{"key":"e_1_3_2_1_48_1","unstructured":"SWC Registry. 2020. SWC-112: Delegatecall to Untrusted Callee. https:\/\/swcregistry.io\/docs\/SWC-112\/ (Accessed 04\/2024)."},{"key":"e_1_3_2_1_49_1","volume-title":"Introduction to static analysis: an abstract interpretation perspective","author":"Rival Xavier","unstructured":"Xavier Rival and Kwangkeun Yi. 2020. Introduction to static analysis: an abstract interpretation perspective. Mit Press."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2970495"},{"key":"e_1_3_2_1_51_1","unstructured":"KC Tam. 2020. Cross-Chaincode Invoking in Hyperledger Fabric. https:\/\/kctheservant.medium.com\/cross-chaincode-invoking-in-hyperledger-fabric-8b8df1183c04 Accessed: 03\/2024."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542486"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3360615"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/AEECA55500.2022.9918903"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054825"}],"event":{"name":"SAC '25: 40th ACM\/SIGAPP Symposium on Applied Computing","location":"Catania International Airport Catania Italy","acronym":"SAC '25","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 40th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672608.3707728","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3672608.3707728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:06:14Z","timestamp":1750291574000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3672608.3707728"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":57,"alternative-id":["10.1145\/3672608.3707728","10.1145\/3672608"],"URL":"https:\/\/doi.org\/10.1145\/3672608.3707728","relation":{},"subject":[],"published":{"date-parts":[[2025,3,31]]},"assertion":[{"value":"2025-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}