{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T18:45:20Z","timestamp":1761417920960,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030440374"},{"type":"electronic","value":"9783030440381"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-44038-1_57","type":"book-chapter","created":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T09:04:07Z","timestamp":1585559047000},"page":"617-627","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Research on EVM-Based Smart Contract Runtime Self-protection Technology Framework"],"prefix":"10.1007","author":[{"given":"WenChuan","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,31]]},"reference":[{"key":"57_CR1","unstructured":"Muzzy, E., Rizvi, S.: Ethereum by the Numbers. https:\/\/media.consensys.net\/ethereum-by-the-numbers-3520f44565a9"},{"key":"57_CR2","unstructured":"Barton, J.: How many Ethereum smart contracts are there? https:\/\/coindiligent.com\/how-many-ethereum-smart-contracts"},{"key":"57_CR3","unstructured":"W, Y.: [Original] Analysis of Smart Contract Automated Security Detection Technology- \u201cBlockchain Security\u201d. https:\/\/bbs.pediy.com\/thread-246779.htm"},{"key":"57_CR4","unstructured":"Hirai, Y.: kframework\/evm-semantics. https:\/\/github.com\/kframework\/evm-semantics"},{"key":"57_CR5","unstructured":"Beosin: Blockchain Security One-Stop Service. https:\/\/beosin.com\/#\/"},{"key":"57_CR6","unstructured":"SECBIT: Construct formal verification to solve smart contract security issues-your contract needs to be proven. https:\/\/mp.weixin.qq.com\/s\/xUNKT8v9ikEYFnuMWzvXdg"},{"key":"57_CR7","doi-asserted-by":"crossref","unstructured":"Luu, L., Chu, D., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security \u2013 CCS 2016, pp. 254\u2013269 (2016)","DOI":"10.1145\/2976749.2978309"},{"key":"57_CR8","unstructured":"b-mueller, norhh: ConsenSys\/mythril. https:\/\/github.com\/ConsenSys\/mythril"},{"key":"57_CR9","doi-asserted-by":"crossref","unstructured":"Nikoli\u0107, I., Kolluri, A., Sergey, I., Saxena, P., Hobor, A.: Finding the greedy, prodigal, and suicidal contracts at scale. In: Proceedings of the 34th Annual Computer Security Applications Conference, pp. 653\u2013663 (2018)","DOI":"10.1145\/3274694.3274743"},{"key":"57_CR10","unstructured":"Securify: Security Scanner for Ethereum Smart Contract. https:\/\/securify.chainsecurity.com"},{"key":"57_CR11","doi-asserted-by":"crossref","unstructured":"Kalra, S., Goel, S., Dhawan, M., Sharma, S.: ZEUS: analyzing safety of smart contracts. In: Proceedings of NDSS, pp. 1\u201312 (2018)","DOI":"10.14722\/ndss.2018.23082"},{"key":"57_CR12","unstructured":"Vaibhav, S.: Getting Deep Into EVM: How Ethereum Works Backstage. https:\/\/hackernoon.com\/getting-deep-into-evm-how-ethereum-works-backstage-ac7efa1f0015"},{"key":"57_CR13","unstructured":"mimoo: Decentralized Application Security Project (or DASP) Top 10 of 2018. https:\/\/dasp.co\/"},{"key":"57_CR14","doi-asserted-by":"crossref","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Lecture Notes in Computer Science, pp. 164\u2013186 (2017)","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"57_CR15","doi-asserted-by":"crossref","unstructured":"Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. In: Financial Cryptography and Data Security, pp. 478\u2013493 (2017)","DOI":"10.1007\/978-3-319-70278-0_30"},{"key":"57_CR16","unstructured":"SpankChain: We Got Spanked: What We Know So Far. https:\/\/medium.com\/spankchain\/we-got-spanked-what-we-know-so-far-d5ed3a0f38fe"},{"key":"57_CR17","doi-asserted-by":"crossref","unstructured":"Yuan, E., Malek, S., Schmerl, B., Garlan, D., Gennari, J.: Architecture-based self-protecting software systems. In: Proceedings of the 9th International ACM Sigsoft Conference on Quality of Software Architectures \u2013 QoSA 2013, pp. 33\u201342 (2013)","DOI":"10.1145\/2465478.2465479"},{"key":"57_CR18","first-page":"1","volume":"151","author":"G Wood","year":"2014","unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Proj. Yellow Paper 151, 1\u201332 (2014)","journal-title":"Ethereum Proj. Yellow Paper"},{"key":"57_CR19","unstructured":"Ethereum: Ethereum Virtual Machine Opcodes. https:\/\/ethervm.io\/"},{"key":"57_CR20","unstructured":"OpenZeppelin: The standard for secure blockchain applications. https:\/\/github.com\/OpenZeppelin"}],"container-title":["Advances in Intelligent Systems and Computing","Web, Artificial Intelligence and Network Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-44038-1_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T20:21:58Z","timestamp":1669321318000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-44038-1_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030440374","9783030440381"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-44038-1_57","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"31 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WAINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshops of  the International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Caserta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 April 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 April 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"waina0a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}