Analysis tools for smart contract security

A. I. Beksultanova; A. L. Tkachenko

doi:10.1117/12.2669360

5 January 2023 Analysis tools for smart contract security

A. I. Beksultanova, A. L. Tkachenko

Proceedings Volume 12564, 2nd International Conference on Computer Applications for Management and Sustainable Development of Production and Industry (CMSD-II-2022); 1256410 (2023) https://doi.org/10.1117/12.2669360
Event: Computer Applications for Management and Sustainable Development of Production and Industry (CMSD2022), 2022, Dushanbe, Tajikistan

Abstract

Currently, one of the most pressing issues in the deployment of smart contracts is security. Concerns about inefficiency, security, and dishonest behavior are well-founded, so ignoring them when using the blockchain network to create smart contracts can lead to extremely high additional costs. The article deals with the most common tools for smart contracts auditing. The purpose of this article is to compare the most popular software tools for smart contract security analysis. Smart contracts were used for this purpose that were recognized as secure with a high degree of probability (hereinafter, for simplicity, known as secure or secure smart contracts), as well as vulnerable or simply vulnerable smart contracts. In total, 20 DeFi smart contracts from the Ethereum blockchain network written in the Solidity programming language were used for analysis.

Citation Download Citation

A. I. Beksultanova and A. L. Tkachenko "Analysis tools for smart contract security", Proc. SPIE 12564, 2nd International Conference on Computer Applications for Management and Sustainable Development of Production and Industry (CMSD-II-2022), 1256410 (5 January 2023); https://doi.org/10.1117/12.2669360

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available