{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:52:00Z","timestamp":1752231120309,"version":"3.28.0"},"reference-count":32,"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.8763856","type":"proceedings-article","created":{"date-parts":[[2019,7,15]],"date-time":"2019-07-15T20:25:18Z","timestamp":1563222318000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Towards Principled Compilation of Ethereum Smart Contracts (SoK)"],"prefix":"10.1109","author":[{"given":"Emilio Jesus Gallego","family":"Arias","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Type system for resource bounds with type-preserving compilation","year":"2019","author":"wang","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951941"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2018.00022"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_30"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1145\/3274694.3274743","article-title":"Finding the greedy, prodigal, and suicidal contracts at scale","author":"nikolic","year":"2018","journal-title":"Proceedings of the 34th Annual Computer Security Applications Conference ser ACSAC ’18"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03427-6_25"},{"key":"ref16","article-title":"Scompile: Critical path identification and analysis for smart contracts","volume":"abs 1808 624","author":"chang","year":"2018","journal-title":"CoRR"},{"key":"ref17","article-title":"Vandal: A scalable security analysis framework for smart contracts","volume":"abs 1809 3981","author":"brent","year":"2018","journal-title":"CoRR"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref19","article-title":"Lolisa: Formal syntax and semantics for a subset of the solidity programming language","volume":"abs 1803 9885","author":"yang","year":"2018","journal-title":"CoRR"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932501"},{"journal-title":"ERC-20 Token Standard","year":"2017","author":"buterin","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"journal-title":"The solidity contract-oriented programming language","year":"2019","author":"wood","key":"ref3"},{"journal-title":"Erc900 Simple staking interface","year":"0","author":"eigenmann","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"journal-title":"ERC-721 Non-Fungible Token Standard","year":"2017","author":"entriken","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70278-0_31"},{"key":"ref7","first-page":"164","article-title":"A survey of attacks on ethereum smart contracts (sok)","author":"atzei","year":"2017","journal-title":"Principles of Security and Trust - 6th International Conference POST 2017"},{"journal-title":"Ethereum A Secure Decentralised Generalised Transaction Ledger","year":"0","author":"wood","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","year":"0","author":"nakamoto","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2905428"},{"key":"ref22","article-title":"Is solidity solid enough?","author":"crafa","year":"2019","journal-title":"3rd Workshop on Trusted Smart Contracts"},{"key":"ref21","first-page":"103","article-title":"Empirical vulnerability analysis of automated smart contracts security testing on blockchains","author":"parizi","year":"2018","journal-title":"Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering ser CASCON ’18"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677000"},{"key":"ref23","article-title":"Verisolid: Correct-by-design smart contracts for ethereum","volume":"abs 1901 1292","author":"mavridou","year":"2019","journal-title":"arXiv 1901 01292"},{"journal-title":"The Quest for Formally Secure Compartmentalizing Compilation","year":"2019","author":"hritcu","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54110-4_20"}],"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\/08763856.pdf?arnumber=8763856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T23:14:36Z","timestamp":1657840476000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8763856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ntms.2019.8763856","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}