Skip to main content
SpringerLink
Log in

Research on EVM-Based Smart Contract Runtime Self-protection Technology Framework

  • Conference paper
  • First Online:
Web, Artificial Intelligence and Network Applications (WAINA 2020)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1150))

Abstract

Smart contracts enable developers to quickly develop decentralized applications running on the blockchain, enriching blockchain applications, but at the same time, due to their immutability, smart contracts have frequent vulnerabilities in recent years. These years many smart contract audit tools have emerged; however, we are committed to solving the problem at the root, using RASP technology to design and implement the runtime self-protection framework of smart contracts, and design and implement the four common vulnerabilities in contracts.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 229.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 299.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Muzzy, E., Rizvi, S.: Ethereum by the Numbers. https://media.consensys.net/ethereum-by-the-numbers-3520f44565a9

  2. Barton, J.: How many Ethereum smart contracts are there? https://coindiligent.com/how-many-ethereum-smart-contracts

  3. W, Y.: [Original] Analysis of Smart Contract Automated Security Detection Technology- “Blockchain Security”. https://bbs.pediy.com/thread-246779.htm

  4. Hirai, Y.: kframework/evm-semantics. https://github.com/kframework/evm-semantics

  5. Beosin: Blockchain Security One-Stop Service. https://beosin.com/#/

  6. SECBIT: Construct formal verification to solve smart contract security issues-your contract needs to be proven. https://mp.weixin.qq.com/s/xUNKT8v9ikEYFnuMWzvXdg

  7. 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 – CCS 2016, pp. 254–269 (2016)

    Google Scholar 

  8. b-mueller, norhh: ConsenSys/mythril. https://github.com/ConsenSys/mythril

  9. Nikolić, 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–663 (2018)

    Google Scholar 

  10. Securify: Security Scanner for Ethereum Smart Contract. https://securify.chainsecurity.com

  11. Kalra, S., Goel, S., Dhawan, M., Sharma, S.: ZEUS: analyzing safety of smart contracts. In: Proceedings of NDSS, pp. 1–12 (2018)

    Google Scholar 

  12. Vaibhav, S.: Getting Deep Into EVM: How Ethereum Works Backstage. https://hackernoon.com/getting-deep-into-evm-how-ethereum-works-backstage-ac7efa1f0015

  13. mimoo: Decentralized Application Security Project (or DASP) Top 10 of 2018. https://dasp.co/

  14. Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Lecture Notes in Computer Science, pp. 164–186 (2017)

    Google Scholar 

  15. Sergey, I., Hobor, A.: A concurrent perspective on smart contracts. In: Financial Cryptography and Data Security, pp. 478–493 (2017)

    Google Scholar 

  16. SpankChain: We Got Spanked: What We Know So Far. https://medium.com/spankchain/we-got-spanked-what-we-know-so-far-d5ed3a0f38fe

  17. 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 – QoSA 2013, pp. 33–42 (2013)

    Google Scholar 

  18. Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Proj. Yellow Paper 151, 1–32 (2014)

    Google Scholar 

  19. Ethereum: Ethereum Virtual Machine Opcodes. https://ethervm.io/

  20. OpenZeppelin: The standard for secure blockchain applications. https://github.com/OpenZeppelin

Download references

Author information

Authors and Affiliations

  1. School of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China

    WenChuan Yang & Jing Peng

  2. National Engineering Laboratory for Mobile Network Security, Beijing, China

    WenChuan Yang & Jing Peng

Authors
  1. WenChuan Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jing Peng
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to WenChuan Yang .

Editor information

Editors and Affiliations

  1. Department of Information and Communication Engineering, Fukuoka Institute of Technology, Fukuoka, Japan

    Leonard Barolli

  2. Department of Electrical Engineering and Information Technology, University of Naples “Frederico II”, Naples, Italy

    Flora Amato

  3. Department of Political Science, University of Campania Luigi Vanvitelli, Caserta, Italy

    Francesco Moscato

  4. Faculty of Business Administration, Rissho University, Tokyo, Japan

    Tomoya Enokido

  5. Department of Advanced Sciences, Hosei University, Tokyo, Japan

    Makoto Takizawa

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Yang, W., Peng, J. (2020). Research on EVM-Based Smart Contract Runtime Self-protection Technology Framework. In: Barolli, L., Amato, F., Moscato, F., Enokido, T., Takizawa, M. (eds) Web, Artificial Intelligence and Network Applications. WAINA 2020. Advances in Intelligent Systems and Computing, vol 1150. Springer, Cham. https://doi.org/10.1007/978-3-030-44038-1_57

Download citation

Publish with us

Policies and ethics

Search

Navigation