{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:22:59Z","timestamp":1730200979086,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"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,9,27]]},"DOI":"10.1109\/brains52497.2021.9569787","type":"proceedings-article","created":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T15:51:25Z","timestamp":1635177085000},"page":"237-244","source":"Crossref","is-referenced-by-count":0,"title":["Implementing SAMOS in Mandala"],"prefix":"10.1109","author":[{"given":"Markus","family":"Knecht","sequence":"first","affiliation":[]},{"given":"Burkhard","family":"Stiller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"SCUR: Smart Contracts with a Static Upper-Bound on Resource Usage","author":"knecht","year":"2020","journal-title":"3rd International Workshop on Blockchain Systems and Applications (BlockchainSys 2020)"},{"year":"2018","author":"larimer","journal-title":"EOS IO Technical White Paper v2","key":"ref11"},{"key":"ref12","article-title":"Capability Myths Demolished","author":"miller","year":"2003","journal-title":"Tech Rep SRL2003-02"},{"year":"2008","author":"nakamoto","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","key":"ref13"},{"year":"2017","author":"popejoy","journal-title":"The Pact Smart-Contract Language","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/PROC.1975.9939"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.5210\/fm.v2i9.548","article-title":"Formalizing and Securing Relationships on Public Networks","volume":"2","author":"szabo","year":"1997","journal-title":"First Monday"},{"year":"2020","journal-title":"Agorics","key":"ref17"},{"year":"2020","journal-title":"Fucsia","key":"ref18"},{"year":"2020","journal-title":"Kaden","key":"ref19"},{"year":"2018","author":"knecht","journal-title":"Mandala A Smart Contract Programming Language","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/54289.871709"},{"year":"0","author":"knecht","journal-title":"Sanskrit Mandala Run-time System","key":"ref6"},{"year":"0","author":"knecht","journal-title":"Mandala Libraries and Examples","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/CVCBT.2019.000-4"},{"year":"0","author":"knecht","journal-title":"Samaya Mandala Compiler and Build Tool","key":"ref7"},{"year":"2020","author":"buterin","journal-title":"Ethereum A next-generation smart contract and decentralized application platform","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/s13389-012-0027-1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ICBC51069.2021.9461117"},{"year":"2020","journal-title":"Polkadot","key":"ref20"},{"year":"2020","journal-title":"Parity Substrate","key":"ref22"},{"year":"2020","journal-title":"Solidity Documentation","key":"ref21"},{"year":"0","journal-title":"All links provided above were","key":"ref23"}],"event":{"name":"2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","start":{"date-parts":[[2021,9,27]]},"location":"Paris, France","end":{"date-parts":[[2021,9,30]]}},"container-title":["2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9568781\/9569777\/09569787.pdf?arnumber=9569787","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:47:32Z","timestamp":1652183252000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9569787\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/brains52497.2021.9569787","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}