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