{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T11:01:25Z","timestamp":1753441285353,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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":[[2019,6]]},"DOI":"10.1109\/ntms.2019.8763784","type":"proceedings-article","created":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T00:25:18Z","timestamp":1563236718000},"page":"1-5","source":"Crossref","is-referenced-by-count":4,"title":["Porthos: Macroprogramming Blockchain Systems"],"prefix":"10.1109","author":[{"given":"Adrian","family":"Mizzi","sequence":"first","affiliation":[]},{"given":"Joshua","family":"Ellul","sequence":"additional","affiliation":[]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","article-title":"A survey of attacks on ethereum smart contracts (sok)","author":"atzei","year":"2017","journal-title":"4th International Conference on Principles of Security and Trust"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2019.8763784"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69459-7_26"},{"journal-title":"Oraclize","year":"0","key":"ref30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351267"},{"key":"ref12","first-page":"356","article-title":"Marlowe: Financial contracts on blockchain","author":"seijas","year":"2018","journal-title":"International Symposium on Leveraging Applications of Formal Methods"},{"key":"ref13","article-title":"Towards safer smart contracts: A survey of languages and verification methods","author":"harz","year":"2018","journal-title":"preprint arXiv 1809 09805"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref15","article-title":"Scilla: a smart contract intermediate-level language","author":"sergey","year":"2018","journal-title":"arXiv preprint arXiv 1801 04144"},{"journal-title":"Bamboo","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.150"},{"journal-title":"Vyper","year":"0","key":"ref18"},{"journal-title":"Simplicity A new language for blockchains","year":"0","author":"o\u2019connor","key":"ref19"},{"journal-title":"Transwarp-conduit Interoperable blockchain application framework","year":"0","author":"shidokht hejazi-sepehr","key":"ref28"},{"key":"ref4","article-title":"Chain interoperability","author":"buterin","year":"2016","journal-title":"R3 Research Paper"},{"journal-title":"Polkadot","year":"0","key":"ref27"},{"key":"ref3","article-title":"Architecture of the hyperledger blockchain fabric","volume":"310","author":"cachin","year":"2016","journal-title":"Workshop on Consensus Ledgers"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183899"},{"journal-title":"Ethereum alarm clock","year":"0","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411251"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1236360.1236422"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11502593_12"},{"key":"ref2","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"wood","year":"2014","journal-title":"Ethereum Project Yellow Paper"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250757"},{"journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","year":"2008","author":"nakamoto","key":"ref1"},{"journal-title":"The Pact Smart-Contract Language","year":"2016","author":"popejoy","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2016.53"},{"journal-title":"Safer Smart Contracts through Type-Driven Development","year":"2016","author":"pettersson","key":"ref21"},{"journal-title":"The blocknet Design specification","year":"0","author":"dan","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00279"},{"journal-title":"Cosmos","year":"0","key":"ref26"},{"journal-title":"BTC Relay","year":"0","key":"ref25"}],"event":{"name":"2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)","start":{"date-parts":[[2019,6,24]]},"location":"CANARY ISLANDS, Spain","end":{"date-parts":[[2019,6,26]]}},"container-title":["2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8758829\/8763770\/08763784.pdf?arnumber=8763784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:14:36Z","timestamp":1657854876000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8763784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/ntms.2019.8763784","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}