Михайлова, Татьяна Евгеньевна. Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна 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 | March | 13 | 0 | 9 | 0 | 22 |
Quarter 2 | April | 4 | 0 | 5 | 0 | 9 | |
May | 3 | 0 | 13 | 0 | 16 | ||
June | 3 | 0 | 10 | 0 | 13 | ||
Quarter 3 | July | 12 | 0 | 19 | 0 | 31 | |
August | 3 | 0 | 11 | 0 | 14 | ||
September | 1 | 0 | 14 | 0 | 15 | ||
Quarter 4 | October | 2 | 0 | 13 | 0 | 15 | |
November | 0 | 0 | 16 | 0 | 16 | ||
December | 2 | 0 | 16 | 0 | 18 | ||
Year 2020 | Quarter 1 | January | 2 | 0 | 11 | 0 | 13 |
February | 3 | 0 | 11 | 0 | 14 | ||
March | 3 | 0 | 7 | 0 | 10 | ||
Quarter 2 | April | 0 | 0 | 0 | 0 | 0 | |
May | 1 | 0 | 0 | 0 | 1 | ||
June | 1 | 0 | 0 | 0 | 1 | ||
Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
August | 0 | 0 | 0 | 0 | 0 | ||
September | 0 | 0 | 1 | 0 | 1 | ||
Quarter 4 | October | 0 | 0 | 0 | 0 | 0 | |
November | 0 | 0 | 0 | 0 | 0 | ||
December | 0 | 0 | 0 | 0 | 0 | ||
Year 2021 | Quarter 1 | January | 0 | 0 | 0 | 0 | 0 |
February | 1 | 0 | 0 | 0 | 1 | ||
March | 1 | 0 | 0 | 0 | 1 | ||
Quarter 2 | April | 0 | 0 | 0 | 0 | 0 | |
May | 0 | 0 | 0 | 0 | 0 | ||
June | 0 | 0 | 0 | 0 | 0 | ||
Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
August | 0 | 0 | 0 | 0 | 0 | ||
September | 0 | 0 | 0 | 0 | 0 | ||
Quarter 4 | October | 0 | 0 | 1 | 0 | 1 | |
November | 0 | 0 | 1 | 0 | 1 | ||
December | 0 | 0 | 1 | 0 | 1 | ||
Year 2022 | Quarter 1 | January | 2 | 0 | 0 | 0 | 2 |
February | 1 | 0 | 0 | 0 | 1 | ||
March | 0 | 0 | 0 | 0 | 0 | ||
Quarter 2 | April | 0 | 0 | 1 | 0 | 1 | |
May | 1 | 0 | 0 | 0 | 1 | ||
June | 1 | 0 | 0 | 0 | 1 | ||
Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
August | 0 | 0 | 0 | 0 | 0 | ||
September | 0 | 0 | 0 | 0 | 0 | ||
Quarter 4 | October | 3 | 0 | 0 | 0 | 3 | |
November | 1 | 0 | 0 | 0 | 1 | ||
December | 2 | 0 | 1 | 0 | 3 | ||
Year 2023 | Quarter 1 | January | 1 | 0 | 1 | 0 | 2 |
February | 1 | 0 | 0 | 0 | 1 | ||
March | 0 | 0 | 1 | 0 | 1 | ||
Quarter 2 | April | 0 | 0 | 0 | 0 | 0 | |
May | 0 | 0 | 0 | 0 | 0 | ||
June | 0 | 0 | 0 | 0 | 0 | ||
Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
August | 0 | 0 | 0 | 0 | 0 | ||
September | 0 | 0 | 0 | 0 | 0 | ||
Quarter 4 | October | 0 | 0 | 0 | 0 | 0 | |
November | 2 | 0 | 0 | 0 | 2 | ||
December | 0 | 0 | 0 | 0 | 0 | ||
Year 2024 | Quarter 1 | January | 0 | 0 | 0 | 0 | 0 |
February | 1 | 0 | 0 | 0 | 1 | ||
March | 0 | 0 | 0 | 0 | 0 | ||
Quarter 2 | April | 0 | 0 | 0 | 0 | 0 | |
May | 1 | 0 | 0 | 0 | 1 | ||
June | 0 | 0 | 0 | 0 | 0 | ||
Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
August | 0 | 0 | 0 | 0 | 0 | ||
September | 0 | 0 | 0 | 0 | 0 | ||
Total | 72 | 0 | 163 | 0 | 235 |