{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:19:46Z","timestamp":1761869986899,"version":"build-2065373602"},"reference-count":27,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2021,6,22]],"date-time":"2021-06-22T00:00:00Z","timestamp":1624320000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/100009112","name":"Istituto Nazionale di Alta Matematica Francesco Severi","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009112","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003407","name":"Ministero dell'Istruzione dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1016\/j.bcra.2021.100020","type":"journal-article","created":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T20:04:06Z","timestamp":1625342646000},"page":"100020","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"title":["Analysis of smart contracts balances"],"prefix":"10.1016","volume":"2","author":[{"given":"Cosimo","family":"Laneve","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Sacerdoti Coen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2021.100020_bib10","first-page":"201","article-title":"cript","author":"Brakmi\u0107","year":"2019"},{"year":"2017","series-title":"Introducing Ethereum and Solidity: Foundations of Cryptocurrency and Blockchain Programming for Beginners","author":"Dannen","key":"10.1016\/j.bcra.2021.100020_bib13"},{"author":"Blackshear","key":"10.1016\/j.bcra.2021.100020_bib9"},{"year":"2016","series-title":"Understanding the Dao Attack. Retrieved June, 13:2018","author":"Siegel","key":"10.1016\/j.bcra.2021.100020_bib25"},{"author":"Breidenbach","key":"10.1016\/j.bcra.2021.100020_bib11"},{"key":"10.1016\/j.bcra.2021.100020_bib6","series-title":"Principles of Security and Trust","first-page":"222","article-title":"Verifying liquidity of bitcoin contracts","author":"Bartoletti","year":"2019"},{"key":"10.1016\/j.bcra.2021.100020_bib2","series-title":"Proc. of Software Testing and Analysis, ISSTA\u201919","first-page":"386","article-title":"SAFEVM: a safety verifier for ethereum smart contracts","author":"Albert","year":"2019"},{"key":"10.1016\/j.bcra.2021.100020_bib27","series-title":"Proc. of Computer and Communications Security, CCS \u201918","first-page":"67","article-title":"Securify: practical security analysis of smart contracts","author":"Tsankov","year":"2018"},{"key":"10.1016\/j.bcra.2021.100020_bib14","series-title":"Proceedings of 12th Asian Symposium on Programming Languages and Systems, Volume 8858 of Lecture Notes in Computer Science","first-page":"275","article-title":"Resource analysis of complex programs with cost equations","author":"Montoya","year":"2014"},{"issue":"2","key":"10.1016\/j.bcra.2021.100020_bib1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10817-010-9174-1","article-title":"Closed-form upper bounds in static cost analysis","volume":"46","author":"Albert","year":"2011","journal-title":"J.\u00a0Autom. Reas."},{"key":"10.1016\/j.bcra.2021.100020_bib5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/j.future.2019.08.014","article-title":"Dissecting Ponzi schemes on ethereum: identification, analysis, and impact","volume":"102","author":"Bartoletti","year":"2020","journal-title":"Future Generat. Comput. Syst."},{"year":"2020","series-title":"Compilazione, deployment e analisi statica di un linguaggio per distributed applications","author":"De Santis","key":"10.1016\/j.bcra.2021.100020_bib23"},{"key":"10.1016\/j.bcra.2021.100020_bib17","first-page":"107","article-title":"Vyper: a security comparison with solidity based on common vulnerabilities","author":"Kaleem","year":"2020","journal-title":"BRAINS"},{"key":"10.1016\/j.bcra.2021.100020_bib15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2017.03.008","article-title":"Static analysis of cloud elasticity","volume":"147","author":"Garcia","year":"2017","journal-title":"Sci. Comput. Program."},{"issue":"1\u201327","key":"10.1016\/j.bcra.2021.100020_bib19","article-title":"Time analysis of actor programs","volume":"105","author":"Laneve","year":"2019","journal-title":"J.\u00a0Log. Algebr. Meth. Program."},{"key":"10.1016\/j.bcra.2021.100020_bib7","series-title":"Proc. of Programming Languages and Analysis for Security","first-page":"91","article-title":"Formal verification of smart contracts: short paper","author":"Bhargavan","year":"2016"},{"year":"2018","series-title":"Scilla: A Smart Contract Intermediate-Level Language","author":"Sergey","key":"10.1016\/j.bcra.2021.100020_bib24"},{"key":"10.1016\/j.bcra.2021.100020_bib12","unstructured":"Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, Fran\u00e7ois Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR, abs\/1809.03981, 2018."},{"key":"10.1016\/j.bcra.2021.100020_bib8","series-title":"Programming Languages with Applications to Biology and Security, Volume 9465 of Lecture Notes in Computer Science","first-page":"142","article-title":"Validation of decentralised smart contracts through game theory and formal methods","author":"Bigi","year":"2015"},{"key":"10.1016\/j.bcra.2021.100020_bib20","series-title":"Proc. of the Conference on Computer and Communications Security","first-page":"254","article-title":"Making smart contracts smarter","author":"Luu","year":"2016"},{"year":"2018","series-title":"Smashing Ethereum Smart Contracts for Fun and Real Profit","author":"Mueller","key":"10.1016\/j.bcra.2021.100020_bib21"},{"key":"10.1016\/j.bcra.2021.100020_bib18","series-title":"From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Volume 11865 of Lecture Notes in Computer Science","first-page":"397","article-title":"On the prediction of smart contracts' behaviours","author":"Laneve","year":"2019"},{"key":"10.1016\/j.bcra.2021.100020_bib22","article-title":"Michael Greenberg, C\u01cet\u01celin Hri\u0163cu, Vilhelm Sj\u00f6berg, Andrew Tolmach, and Brent Yorgey. Programming language foundations","volume":"2","author":"Pierce","year":"2018","journal-title":"Software Found. Ser."},{"issue":"2","key":"10.1016\/j.bcra.2021.100020_bib4","first-page":"91","article-title":"Matita tutorial","volume":"7","author":"Asperti","year":"2014","journal-title":"J.\u00a0Formaliz. Reason."},{"key":"10.1016\/j.bcra.2021.100020_bib26","series-title":"43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","first-page":"256","article-title":"Dependent types and multi-monadic effects in F\u2217","author":"Swamy","year":"2016"},{"key":"10.1016\/j.bcra.2021.100020_bib16","series-title":"Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015","first-page":"5","article-title":"Automatic amortized analysis. In Moreno Falaschi and Elvira Albert","author":"Martin","year":"2015"},{"key":"10.1016\/j.bcra.2021.100020_bib3","series-title":"Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers, Volume 8552 of Lecture Notes in Computer Science","first-page":"1","article-title":"Certified complexity (cerco)","author":"Roberto","year":"2013"}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720921000154?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720921000154?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:15:25Z","timestamp":1761869725000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720921000154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["S2096720921000154"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2021.100020","relation":{},"ISSN":["2096-7209"],"issn-type":[{"type":"print","value":"2096-7209"}],"subject":[],"published":{"date-parts":[[2021,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Analysis of smart contracts balances","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2021.100020","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2021 The Authors. Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100020"}}