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
- 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.
- 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.
- T. Min and W. Cai, “A security case study for blockchain games,” arXiv preprint arXiv:1906.05538, 2019.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- [Dataset] Trail of Bits (2020). (Not So) Smart Contracts. Available at: https:// github.com/crytic/not-so-smart-contracts (Accessed August 7, 2021).
- 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.
- 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.
- 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.
- 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.
- I. Sergey, A. Kumar, and A. Hobor, “Scilla: a smart contract intermediate-level language,” arXiv preprint arXiv:1801.00687, 2018.
- 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.
- L. W. Cong and Z. He, “Blockchain disruption and smart contracts,” The Review of Financial Studies, vol. 32, no. 5, pp. 1754–1797, 2019.
- 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.
- 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.
- 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.
- 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.
- 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.
- Huang, Y.; Bian, Y.; Li, R.; Zhao, J.L.; Shi, P. Smart contract security: A software lifecycle perspective. IEEE Access 2019, 7, 150184–150202.
- 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.
