Михайлова, Татьяна Евгеньевна. Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна 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 | 43 | 0 | 126 | 0 | 169 |
Year 2020 | 10 | 0 | 30 | 0 | 40 |
Year 2021 | 2 | 0 | 3 | 0 | 5 |
Year 2022 | 11 | 0 | 2 | 0 | 13 |
Year 2023 | 4 | 0 | 2 | 0 | 6 |
Year 2024 | 2 | 0 | 0 | 0 | 2 |
Total | 72 | 0 | 163 | 0 | 235 |