Electronic Documents Search

Documents found: 1

1

Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна Ethereum: выпускная квалификационная работа специалиста: 10.05.04 - Информационно-аналитические системы безопасности ; 10.05.04_01 - Автоматизация информационно-аналитической деятельности

Creators	Михайлова Татьяна Евгеньевна
Scientific adviser	Платонов Владимир Владимирович
Other creators	Резединова Евгения Юрьевна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint	Санкт-Петербург, 2019
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	символьное выполнение; блокчейн ethereum; смарт-контаркты; безопаность распределенных приложений; уязвимости в смарт-контрактах; solidity; автоматизированный поиск уязвимостей; smt-решатель z3; symbolic execution; ethereum blockchain; smart contract; decentralized application security; smart contract vulnerabilities; vuknerability searching automatization; z3 smt-solver
Document type	Specialist graduation qualification work
File type	PDF
Language	Russian
Level of education	Specialist
Speciality code (FGOS)	10.05.04
Speciality group (FGOS)	100000 - Информационная безопасность
Links	http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-39-a.pdf
DOI	10.18720/SPBPU/3/2019/vr/vr19-39
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 0.5 Mb

1