Сучасний стан безпеки смарт-контрактiв у блокчейн-мережi Ethereum: використання статичних аналiзаторiв для пошуку вразливостей
Вантажиться...
Дата
2023
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
КПІ ім. Ігоря Сікорського
Анотація
Досить тривалий час безпеці блокчейн-застосунків не приділяли належної уваги через невелику кількість користувачів та, як результат, фінансову непривабливість будь-яких інвестицій у безпеку створюваних застосунків. Логічно, що нехтування безпекою призвело до багатомільярдних збитків та зменшення довіри з боку користувачів. У роботі було проаналізовано основні інструменти та методи статичного аналізу, які застосовуються для дослідження смарт-контрактів, а також були досліджено потенційні проблеми та обмеження, які пов’язані з їх використанням.
Опис
Ключові слова
блокчейн, статичний аналіз, смарт-контракт, розподілена мережа
Бібліографічний опис
Андрiєвич, Д. Ю. Сучасний стан безпеки смарт-контрактiв у блокчейн-мережi Ethereum: використання статичних аналiзаторiв для пошуку вразливостей / Д. Ю. Андрiєвич, В. М. Ткач // XXI Всеукраїнська науково-практична конференція студентів, аспірантів та молодих вчених «Теоретичні і прикладні проблеми фізики, математики та інформатики» (Україна, м. Київ, 11-12 травня 2023 р.) : матеріали конференції. – Київ : КПІ ім. Ігоря Сікорського, 2023. – С. 231-234.