Михайлова, Татьяна Евгеньевна. Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна Ethereum [Электронный ресурс]: выпускная квалификационная работа специалиста: 10.05.04 - Информационно-аналитические системы безопасности ; 10.05.04_01 - Автоматизация информационно-аналитической деятельности = Using symbolic execution for automative vulnerability searching in Ethereum smart contracts / Т. Е. Михайлова; Санкт-Петербургский политехнический университет Петра Великого, Институт прикладной математики и механики ; науч. рук. В. В. Платонов ; консультант по нормоконтролю Е. Ю. Резединова. — Электрон. текстовые дан. (1 файл : 0,5 Мб). — Санкт-Петербург, 2019. — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/vr19-39.pdf>. — <URL:http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-39>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-a.pdf>.
Period | Read | Copy | Open | Total | ||
---|---|---|---|---|---|---|
Year 2019 | Quarter 1 | 13 | 0 | 9 | 0 | 22 |
Quarter 2 | 10 | 0 | 28 | 0 | 38 | |
Quarter 3 | 16 | 0 | 44 | 0 | 60 | |
Quarter 4 | 4 | 0 | 45 | 0 | 49 | |
Year 2020 | Quarter 1 | 8 | 0 | 29 | 0 | 37 |
Quarter 2 | 2 | 0 | 0 | 0 | 2 | |
Quarter 3 | 0 | 0 | 1 | 0 | 1 | |
Quarter 4 | 0 | 0 | 0 | 0 | 0 | |
Year 2021 | Quarter 1 | 2 | 0 | 0 | 0 | 2 |
Quarter 2 | 0 | 0 | 0 | 0 | 0 | |
Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
Quarter 4 | 0 | 0 | 3 | 0 | 3 | |
Year 2022 | Quarter 1 | 3 | 0 | 0 | 0 | 3 |
Quarter 2 | 2 | 0 | 1 | 0 | 3 | |
Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
Quarter 4 | 6 | 0 | 1 | 0 | 7 | |
Year 2023 | Quarter 1 | 2 | 0 | 2 | 0 | 4 |
Quarter 2 | 0 | 0 | 0 | 0 | 0 | |
Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
Quarter 4 | 2 | 0 | 0 | 0 | 2 | |
Year 2024 | Quarter 1 | 1 | 0 | 0 | 0 | 1 |
Quarter 2 | 1 | 0 | 0 | 0 | 1 | |
Quarter 3 | 0 | 0 | 0 | 0 | 0 | |
Total | 72 | 0 | 163 | 0 | 235 |