{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T22:42:32Z","timestamp":1777156952296,"version":"3.51.4"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1109\/ntms.2018.8328743","type":"proceedings-article","created":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T20:44:07Z","timestamp":1522701847000},"page":"1-5","source":"Crossref","is-referenced-by-count":51,"title":["Security Assurance for Smart Contract"],"prefix":"10.1109","author":[{"given":"Ence","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Song","family":"Hua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bingfeng","family":"Pi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yashihide","family":"Nomura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuhiro","family":"Yamashita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidetoshi","family":"Kurihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","year":"0","journal-title":"Oyente An Analysis Tool for Smart Contracts"},{"key":"ref11","year":"0","journal-title":"Block validation algorithm-Ethereum wiki"},{"key":"ref12","article-title":"Apply blockchain technology to electric vehicle battery refueling","author":"song","year":"2018","journal-title":"Proceedings of the HICSS-51 Track on Organizational systems and technology"},{"key":"ref13","year":"0","journal-title":"Solidity integer division problem"},{"key":"ref14","year":"0","journal-title":"Solidity document about integers"},{"key":"ref15","year":"0","journal-title":"Sole the Solidity compiler"},{"key":"ref16","year":"0","journal-title":"Etherscan A website provides contracts with verified source codes"},{"key":"ref17","year":"0","journal-title":"Z3 Theorem Prover"},{"key":"ref18","year":"0","journal-title":"Moving average"},{"key":"ref19","author":"dickerson","year":"2017","journal-title":"Adding Concurrency to Smart Contracts"},{"key":"ref4","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","volume":"10204","author":"atzei","year":"2017","journal-title":"Principles of Security and Trust (POST) LNCS"},{"key":"ref3","year":"0","journal-title":"Solidity A new programming language for writing smart contracts on Ethereum blockchain"},{"key":"ref6","year":"0","journal-title":"Solgraph Generates a DOT graph that visualizes function control flow of a Solidity contract"},{"key":"ref5","year":"0","journal-title":"TheDAO smart contract"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2993600.2993611"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref2","year":"0"},{"key":"ref1","author":"satoshi","year":"2009","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System"},{"key":"ref9","year":"0","journal-title":"Solidity-parser A source code analysis tool for Ethereum smart contracts"}],"event":{"name":"2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS)","location":"Paris","start":{"date-parts":[[2018,2,26]]},"end":{"date-parts":[[2018,2,28]]}},"container-title":["2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8327376\/8328663\/08328743.pdf?arnumber=8328743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T08:08:21Z","timestamp":1643184501000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8328743\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ntms.2018.8328743","relation":{},"subject":[],"published":{"date-parts":[[2018,2]]}}}