{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T00:11:08Z","timestamp":1760573468194,"version":"build-2065373602"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"ANRF, India","award":["CRG\/2022\/005794"],"award-info":[{"award-number":["CRG\/2022\/005794"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11334-025-00615-3","type":"journal-article","created":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T05:32:49Z","timestamp":1756445569000},"page":"1479-1498","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Analyzing Safety and Security of Solidity Smart Contracts via Semantics-Preserving Transcompilation"],"prefix":"10.1007","volume":"21","author":[{"given":"Kartik","family":"Kaushik","sequence":"first","affiliation":[]},{"given":"Raju","family":"Halder","sequence":"additional","affiliation":[]},{"given":"Samrat","family":"Mondal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,29]]},"reference":[{"key":"615_CR1","doi-asserted-by":"crossref","unstructured":"Jain N et al (2022) Sklee: Dynamic symbolic analysis for ethereum contracts. In: SEFM, pp. 244\u2013250","DOI":"10.1007\/978-3-031-17108-6_15"},{"key":"615_CR2","doi-asserted-by":"crossref","unstructured":"Zafar MA et al (2018) Sol2js: Translating solidity to javascript for fabric. In: Workshop on Distributed Ledgers, pp. 19\u201324","DOI":"10.1145\/3284764.3284768"},{"key":"615_CR3","doi-asserted-by":"crossref","unstructured":"Zhu J et al. (2021) Formal verification of solidity contracts in event-b. In: COMPSAC, pp. 1309\u20131314","DOI":"10.1109\/COMPSAC51774.2021.00183"},{"key":"615_CR4","doi-asserted-by":"crossref","unstructured":"Alt L, Reitwiessner C (2018) Smt-based verification of solidity contracts. In: ISoLA, pp. 376\u2013388","DOI":"10.1007\/978-3-030-03427-6_28"},{"key":"615_CR5","doi-asserted-by":"crossref","unstructured":"Bhargavan K (2016) Formal verification of smart contracts. In: PLAS, pp. 91\u201396","DOI":"10.1145\/2993600.2993611"},{"key":"615_CR6","first-page":"1","volume":"2020","author":"Z Yang","year":"2020","unstructured":"Yang Z, Lei H (2020) Lolisa: Formal semantics for solidity in coq. Math Probl Eng 2020:1\u201315","journal-title":"Math Probl Eng"},{"key":"615_CR7","doi-asserted-by":"crossref","unstructured":"Wang Y (2020) Formal verification of workflow policies for smart contracts. In: VSTTE, pp. 87\u2013106","DOI":"10.1007\/978-3-030-41600-3_7"},{"key":"615_CR8","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K Havelund","year":"2000","unstructured":"Havelund K, Pressburger T (2000) Model checking java programs with jpf. STTT 2:366\u2013381","journal-title":"STTT"},{"key":"615_CR9","doi-asserted-by":"crossref","unstructured":"Cok DR (2011) Openjml: Extending openjdk for jml. In: NFM, pp. 472\u2013479","DOI":"10.1007\/978-3-642-20398-5_35"},{"issue":"6","key":"615_CR10","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/2666356.2594299","volume":"49","author":"S Arzt","year":"2014","unstructured":"Arzt S et al (2014) Flowdroid: Taint analysis for android apps. ACM SIGPLAN Notices 49(6):259\u2013269","journal-title":"ACM SIGPLAN Notices"},{"key":"615_CR11","doi-asserted-by":"crossref","unstructured":"Price D et al (2000) Naturaljava: A language interface for java programming. In: IUI, pp. 207\u2013211","DOI":"10.1145\/325737.325845"},{"issue":"2","key":"615_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1667048.1667049","volume":"32","author":"S Markstrum","year":"2010","unstructured":"Markstrum S et al (2010) Javacop: Declarative pluggable types for java. ACM TOPLAS 32(2):1\u201337","journal-title":"ACM TOPLAS"},{"key":"615_CR13","doi-asserted-by":"crossref","unstructured":"Ahrendt W et al (2019) Verification of smart contract business logic. In: FSEN, pp. 228\u2013243","DOI":"10.1007\/978-3-030-31517-7_16"},{"key":"615_CR14","unstructured":"OpenZeppelin. Accessed: 2024-04-12 (2024). https:\/\/www.openzeppelin.com\/"},{"key":"615_CR15","unstructured":"Cloud G (2024) BigQuery Documentation. Accessed: 2024-09-20. https:\/\/cloud.google.com\/bigquery\/docs\/"},{"issue":"1\u20133","key":"615_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.scico.2007.01.015","volume":"69","author":"MD Ernst","year":"2007","unstructured":"Ernst MD et al (2007) The daikon system for dynamic invariant detection. Sci Comp Prog 69(1\u20133):35\u201345","journal-title":"Sci Comp Prog"},{"key":"615_CR17","doi-asserted-by":"crossref","unstructured":"Fraser G, Arcuri A (2011) Evosuite: Test suite generation for object-oriented software. In: ESEC\/FSE, pp. 416\u2013419","DOI":"10.1145\/2025113.2025179"},{"key":"615_CR18","doi-asserted-by":"crossref","unstructured":"Blom S et al (2017) The vercors toolset for verification of parallel software. In: IFM, pp. 102\u2013110","DOI":"10.1007\/978-3-319-66845-1_7"},{"key":"615_CR19","unstructured":"Shia C et al (2021) Solctrans: Solidity source code translation. CoRR"},{"key":"615_CR20","unstructured":"Shi C et al (2021) Low-level comments auto-generation for solidity. arXiv"},{"key":"615_CR21","doi-asserted-by":"crossref","unstructured":"Hajdu \u00c1, Jovanovic D (2020) Smt-friendly solidity memory model. In: ESOP, pp. 224\u2013250","DOI":"10.1007\/978-3-030-44914-8_9"},{"key":"615_CR22","unstructured":"Di Pirro M (2018) How solid is solidity?"},{"key":"615_CR23","doi-asserted-by":"crossref","unstructured":"Shi C et al (2023) Fine-grained comments generation for solidity. Info Software Tech 153:107065","DOI":"10.1016\/j.infsof.2022.107065"},{"key":"615_CR24","doi-asserted-by":"crossref","unstructured":"Crosara M et al. (2021) Efficient snapshots for erc-20 contracts on jvm. In: BCCA, pp. 187\u2013194","DOI":"10.1109\/BCCA53669.2021.9657047"},{"key":"615_CR25","unstructured":"Pierro GA, Tonelli R (2020) Paso: Solidity parser for language analysis. In: IWBOSE, pp. 16\u201321"},{"key":"615_CR26","unstructured":"Solidity Documentation. Accessed: 2024-04-08 (2024). https:\/\/docs.soliditylang.org"},{"key":"615_CR27","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G Winskel","year":"1993","unstructured":"Winskel G (1993) The Formal Semantics of Programming Languages. MIT Press, Cambridge, MA"},{"key":"615_CR28","unstructured":"Foundation E (2015) ERC-20 Token Standard. Accessed: 2024-04-14. https:\/\/eips.ethereum.org\/EIPS\/eip-20"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-025-00615-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-025-00615-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-025-00615-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T03:04:07Z","timestamp":1760497447000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-025-00615-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,29]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["615"],"URL":"https:\/\/doi.org\/10.1007\/s11334-025-00615-3","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2025,8,29]]},"assertion":[{"value":"8 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 August 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 August 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}