Михайлова, Татьяна Евгеньевна. Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна Ethereum [Электронный ресурс] = Using symbolic execution for automative vulnerability searching in Ethereum smart contracts: выпускная квалификационная работа специалиста: 10.05.04 - Информационно-аналитические системы безопасности ; 10.05.04_01 - Автоматизация информационно-аналитической деятельности / Т. Е. Михайлова; Санкт-Петербургский политехнический университет Петра Великого, Институт прикладной математики и механики ; науч. рук. В. В. Платонов ; консультант по нормоконтролю Е. Ю. Резединова. — Электрон. текстовые дан. (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>.

Дата создания записи: 28.02.2019

Тематика: символьное выполнение; блокчейн ethereum; смарт-контаркты; безопаность распределенных приложений; уязвимости в смарт-контрактах; solidity; автоматизированный поиск уязвимостей; smt-решатель z3; symbolic execution; ethereum blockchain; smart contract; decentralized application security; smart contract vulnerabilities; solidity; vuknerability searching automatization; z3 smt-solver

Коллекции: Выпускные квалификационные работы; Общая коллекция

Ссылки: DOI; Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований