Видання НТУ "ХПІ"

Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/62886

Переглянути

Фільтри

20231

Налаштування

DOI: search.filters.doi.https://doi.org/10.20998/2522-9052.2023.4.05ORCID: search.filters.orcid.http://orcid.org/0000-0002-0784-1465

Результати пошуку

Зараз показуємо 1 - 1 з 1
  • Ескіз
    Документ
    Designing and evaluating DL-model for vulnerability detection in smart contracts
    (Національний технічний університет "Харківський політехнічний інститут", 2023) Shmatko, Oleksandr; Kolomiitsev, Oleksii; Rekova, Nataliia; Kuchuk, Nina; Matvieiev, Oleksandr
    Task features. Smart-contracts are programs that are stored in a distributed registry and execute code written in them in response to transactions addressed to them. Such smart- contracts are written in the Solidity programming language, which has a specific structure and syntax. The language was developed for the Ethereum platform. Having a specific structure, such languages are prone to certain vulnerabilities, the use of which can lead to large financial losses. Task statement. In this paper, a Deep Learning (DL) model is used to detect the vulnerabilities. Using the chosen approach and a properly specified input data structure, it is possible to detect complex dependencies between various program variables that contain vulnerabilities and bugs. Research results. Using well-defined experiments, this approach was investigated to better understand the model and improve its performance. The developed model classified vulnerabilities at the string level, using the Solidity corpus of smart-contracts as input data. The application of the DL model allows vulnerabilities of varying complexity to be identified in smart-contracts. Conclusions. Thus, the pipeline developed by us can capture more internal code information than other models. Information from software tokens, although semantically incapable of capturing vulnerabilities, increases the accuracy of models. The interpretability of the model has been added through the use of the attention mechanism. Operator accounting has shown significant performance improvements.