{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:59:45Z","timestamp":1730199585667,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,15]]},"DOI":"10.1109\/bcca53669.2021.9657048","type":"proceedings-article","created":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:03:46Z","timestamp":1640898226000},"page":"179-186","source":"Crossref","is-referenced-by-count":2,"title":["Power and Pitfalls of Generic Smart Contracts"],"prefix":"10.1109","author":[{"given":"Andrea","family":"Benini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Gambini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Migliorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fausto","family":"Spoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"122","article-title":"A Java Framework for Smart Contracts","volume":"11599","author":"spoto","year":"2019","journal-title":"3rd Wokshop on Trusted Smart Contracts (WTSC’19)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54455-3_40"},{"journal-title":"Hyperledger Open source blockchain technologies","year":"0","key":"ref12"},{"journal-title":"Java Generics and Collections","year":"2006","author":"naftalin","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2345141.2248421"},{"journal-title":"Tendermint Consensus without Mining","year":"2014","author":"kwon","key":"ref16"},{"journal-title":"A Discipline for Software Engineering","year":"1995","author":"humphrey","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2019.8763832"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3338999"},{"journal-title":"Mastering Ethereum Building Smart Contracts and Dapps","year":"2018","author":"antonopoulos","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3360611"},{"journal-title":"Ethereum Whitepaper","year":"2013","author":"buterin","key":"ref3"},{"key":"ref6","first-page":"138","article-title":"Is Solidity Solid Enough?","volume":"11599","author":"crafa","year":"2019","journal-title":"3rd Wokshop on Trusted Smart Contracts (WTSC’19)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20618-5_9"},{"journal-title":"Cosmos Internet of Blockchain","year":"0","key":"ref8"},{"journal-title":"Understanding the dao attack","year":"2016","author":"siegel","key":"ref7"},{"journal-title":"Mastering Bitcoin Programming the Open Blockchain","year":"2017","author":"antonopoulos","key":"ref2"},{"journal-title":"Hotmoka -- Blockchain and IoT with Smart Contracts in Java","year":"2021","key":"ref9"},{"journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","year":"2008","author":"nakamoto","key":"ref1"},{"key":"ref20","first-page":"66","author":"amani","year":"2018","journal-title":"Towards Verifying Ethereum Smart Contract Bytecode in Isabelle\/HOL"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_30"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"ref23","first-page":"39","article-title":"The Julia Static Analyzer for Java","volume":"9837","author":"spoto","year":"2016","journal-title":"Proc of the 23rd Static Analysis Symposium (SAS)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/SANER48275.2020.9054825"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain.2019.00059"}],"event":{"name":"2021 Third International Conference on Blockchain Computing and Applications (BCCA)","start":{"date-parts":[[2021,11,15]]},"location":"Tartu, Estonia","end":{"date-parts":[[2021,11,17]]}},"container-title":["2021 Third International Conference on Blockchain Computing and Applications (BCCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9656932\/9656958\/09657048.pdf?arnumber=9657048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:56:28Z","timestamp":1652201788000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9657048\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,15]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/bcca53669.2021.9657048","relation":{},"subject":[],"published":{"date-parts":[[2021,11,15]]}}}