Автоматизація виявлення вразливостей у смарт-контрактах
| dc.contributor.advisor | Ткач, Володимир Миколайович | |
| dc.contributor.author | Звінський, Тарас Сергійович | |
| dc.date.accessioned | 2023-06-06T11:24:34Z | |
| dc.date.available | 2023-06-06T11:24:34Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | Метою роботи є підвищення ефективності виявлення вразливостей у смарт- контрактах, шляхом розроблення модифікованого підходу до символьного виконання та формулюванні покращених алгоритмів, відповідно до типу вразливості. Завданням роботи є дослідження й аналіз існуючих рішень для автоматизованого виявлення вразливостей, відбір таких, що передбачають перспективу масштабування. Наступне, модифікація модулів одного з них для покращення точності пошуку визначених вразливостей. Порівняння з існуючими засобами та аналіз результатів. | uk |
| dc.description.abstractother | The aim of the work is to increase the efficiency of vulnerability detection in smart contracts by developing a modified approach to symbolic execution and formulating improved algorithms according to the type of vulnerability. The objective of the work is to study and analyze solutions for automated detection of such vulnerabilities, selection that provide a perspective of scaling. Next, modify the modules of one of them to improve the precision of the search for certain vulnerabilities. Comparison with functional tools and analysis of results. | uk |
| dc.format.extent | 77 с. | uk |
| dc.identifier.citation | Звінський, Т. С. Автоматизація виявлення вразливостей у смарт-контрактах : магістерська дис. : 125 Кібербезпека / Звінський Тарас Сергійович. – Київ, 2022. – 77 с. | uk |
| dc.identifier.uri | https://ela.kpi.ua/handle/123456789/56687 | |
| dc.language.iso | uk | uk |
| dc.publisher | КПІ ім. Ігоря Сікорського | uk |
| dc.publisher.place | Київ | uk |
| dc.subject | смарт-контракт | uk |
| dc.subject | символьне виконання | uk |
| dc.subject | граф потоку керування | uk |
| dc.subject | mythril | uk |
| dc.subject | state | uk |
| dc.subject | SMT-solver | uk |
| dc.subject | critical instruction | uk |
| dc.subject.udc | 004.056 | uk |
| dc.title | Автоматизація виявлення вразливостей у смарт-контрактах | uk |
| dc.type | Master Thesis | uk |