Design of an Ethereum Security Analysis for Unpredictable State System - An Overview
PDF
PDF

How to Cite

Anand, C. 2022. “Design of an Ethereum Security Analysis for Unpredictable State System - An Overview”. Journal of Electrical Engineering and Automation 4 (3): 200-208. https://doi.org/10.36548/jeea.2022.3.007.

Keywords

— Smart contracts
— blockchain
— ethereum
— security development
— virtual machine
Published: 14-10-2022

Abstract

As a powerful tool for building framework and autonomous system across various domains, smart contracts are used to maintain security analysis in a better way. However, owing to the decentralised structure of the blockchain on which they are built, a number of concerns have surfaced about weaknesses in their programming, that according to their unique characteristics, might have (and have already had) a very large economic effect. This essay surveys the whole scope of smart contract security issues and the cutting edge of freely accessible security software.

References

  1. L. Yu, W.-T. Tsai, G. Li, Y. Yao, C. Hu, and E. Deng, “Smart-contract execution with concurrent block building,” in 2017 IEEE Symposium on Service-Oriented System Engineering (SOSE). IEEE, 2017, pp. 160–167.
  2. Z. Gao, L. Xu, L. Chen, N. Shah, Y. Lu, and W. Shi, “Scalable blockchain based smart contract execution,” in 2017 IEEE 23rd International Conference on Parallel and Distributed Systems (ICPADS). IEEE, 2017, pp. 352–359.
  3. T. Min and W. Cai, “A security case study for blockchain games,” arXiv preprint arXiv:1906.05538, 2019.
  4. I. Nikolic, A. Kolluri, I. Sergey, P. Saxena, and A. Hobor, “Finding the greedy, prodigal, and suicidal contracts at scale,” arXiv preprint arXiv:1802.06038, 2018.
  5. P. Zhang, D. C. Schmidt, J. White, and G. Lenz, “Blockchain technology use cases in healthcare,” in Advances in Computers. Elsevier, 2018, vol. 111, pp. 1–41.
  6. K. N. Griggs, O. Ossipova, C. P. Kohlios, A. N. Baccarini, E. A. Howson, and T. Hayajneh, “Healthcare blockchain system using smart contracts for secure automated remote patient monitoring,” Journal of medical systems, vol. 42, no. 7, p. 130, 2018.
  7. F. Knirsch, A. Unterweger, G. Eibl, and D. Engel, “Privacy-preserving smart grid tariff decisions with blockchain-based smart contracts,” in Sustainable Cloud and Energy Services. Springer, 2018, pp. 85–116.
  8. E. Mengelkamp, B. Notheisen, C. Beer, D. Dauer, and C. Weinhardt, “A blockchain-based smart grid: towards sustainable local energy markets,” Computer Science-Research and Development, vol. 33, no. 1-2, pp. 207–214, 2018.
  9. C. Pop, T. Cioara, M. Antal, I. Anghel, I. Salomie, and M. Bertoncini, “Blockchain based decentralized management of demand response programs in smart energy grids,” Sensors, vol. 18, no. 1, p. 162, 2018.
  10. M. Mylrea and S. N. G. Gourisetti, “Blockchain for smart grid resilience: Exchanging distributed energy at speed, scale and security,” in 2017 Resilience Week (RWS). IEEE, 2017, pp. 18–23.
  11. Tovanich, N., Heulot, N., Fekete, J.-D., and Isenberg, P. (2021). “Visualization of Blockchain Data: A Systematic Review,” in IEEE Transactions on Visualization and Computer Graphics, 27, 3135–3152. doi:10.1109/ TVCG.2019.2963018
  12. [Dataset] Trail of Bits (2020). (Not So) Smart Contracts. Available at: https:// github.com/crytic/not-so-smart-contracts (Accessed August 7, 2021).
  13. T. Ahram, A. Sargolzaei, S. Sargolzaei, J. Daniels, and B. Amaba,“Blockchain technology innovations,” in Technology and Engineering Management Conference (TEMSCON), 2017 IEEE. IEEE, 2017, Conference Proceedings, pp. 137–141.
  14. X. Xu, I. Weber, M. Staples, L. Zhu, J. Bosch, L. Bass, C. Pautasso, and P. Rimba, “A taxonomy of blockchain-based systems for architecture design,” in Software Architecture (ICSA), 2017 IEEE International Conference on. IEEE, 2017, pp. 243–252.
  15. G. W. Peters and E. Panayi, “Understanding modern banking ledgers through blockchain technologies: Future of transaction processing and smart contracts on the internet of money,” in Banking beyond banks and money. Springer, 2016, pp. 239–278.
  16. J. Gao, H. Liu, C. Liu, Q. Li, Z. Guan, and Z. Chen, “Easyflflow: Keep ethereum away from overflflow,” in Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press, 2019, pp. 23–26.
  17. I. Sergey, A. Kumar, and A. Hobor, “Scilla: a smart contract intermediate-level language,” arXiv preprint arXiv:1801.00687, 2018.
  18. C. Liu, H. Liu, Z. Cao, Z. Chen, B. Chen, and B. Roscoe, “Reguard: fifinding reentrancy bugs in smart contracts,” in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings. ACM, 2018, pp. 65–68.
  19. L. W. Cong and Z. He, “Blockchain disruption and smart contracts,” The Review of Financial Studies, vol. 32, no. 5, pp. 1754–1797, 2019.
  20. N. Grech, M. Kong, A. Jurisevic, L. Brent, B. Scholz, and Y. Smaragdakis, “Madmax: Surviving out-of-gas conditions in ethereum smart contracts,” Proceedings of the ACM on Programming Languages, vol. 2, no. OOPSLA, p. 116, 2018.
  21. Zheng, Z.; Xie, S.; Dai, H.N.; Chen, W.; Chen, X.; Weng, J.; Imran, M. An overview on smart contracts: Challenges, advances and platforms. Future Gener. Comput. Syst. 2020, 105, 475–491.
  22. Dingman, W.; Cohen, A.; Ferrara, N.; Lynch, A.; Jasinski, P.; Black, P.E.; Deng, L. Defects and vulnerabilities in smart contracts, a classifification using the NIST bugs framework. Int. J. Netw. Distrib. Comput. 2019, 7, 121–132.
  23. Grishchenko, I.; Maffei, M.; Schneidewind, C. A Semantic Framework for the Security Analysis of Ethereum Smart Contracts. In Principles of Security and Trust; Bauer, L., Küsters, R., Eds.; Springer: Cham, Switzerland, 2018; pp. 243–269.
  24. Praitheeshan, P.; Pan, L.; Yu, J.; Liu, J.; Doss, R. Security analysis methods on Ethereum smart contract vulnerabilities: A survey. arXiv 2019, arXiv:1908.08605.
  25. Huang, Y.; Bian, Y.; Li, R.; Zhao, J.L.; Shi, P. Smart contract security: A software lifecycle perspective. IEEE Access 2019, 7, 150184–150202.
  26. He, D.; Deng, Z.; Zhang, Y.; Chan, S.; Cheng, Y.; Guizani, N. Smart Contract Vulnerability Analysis and Security Audit. IEEE Netw. 2020, 34, 276–282.