Детальная информация
| Название | Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна Ethereum: выпускная квалификационная работа специалиста: 10.05.04 - Информационно-аналитические системы безопасности ; 10.05.04_01 - Автоматизация информационно-аналитической деятельности |
|---|---|
| Авторы | Михайлова Татьяна Евгеньевна |
| Научный руководитель | Платонов Владимир Владимирович |
| Другие авторы | Резединова Евгения Юрьевна |
| Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики |
| Выходные сведения | Санкт-Петербург, 2019 |
| Коллекция | Выпускные квалификационные работы ; Общая коллекция |
| Тематика | символьное выполнение ; блокчейн ethereum ; смарт-контаркты ; безопаность распределенных приложений ; уязвимости в смарт-контрактах ; solidity ; автоматизированный поиск уязвимостей ; smt-решатель z3 ; symbolic execution ; ethereum blockchain ; smart contract ; decentralized application security ; smart contract vulnerabilities ; vuknerability searching automatization ; z3 smt-solver |
| Тип документа | Выпускная квалификационная работа специалиста |
| Тип файла | |
| Язык | Русский |
| Уровень высшего образования | Специалитет |
| Код специальности ФГОС | 10.05.04 |
| Группа специальностей ФГОС | 100000 - Информационная безопасность |
| Ссылки | Отзыв руководителя ; Рецензия ; Отчет о проверке на объем и корректность внешних заимствований |
| DOI | 10.18720/SPBPU/3/2019/vr/vr19-39 |
| Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Ключ записи | ru\spstu\vkr\481 |
| Дата создания записи | 28.02.2019 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
В работе предложено использованием символьного выполнения для автоматизированного обнаружения уязвимостей в смарт-контрактах. Его отличительной особенностью является эмуляция инструкций виртуальной машины Ethereum с учетом символьных переменных. Разработан прототип программы, который позволяет обнаруживать пять различных уязвимостей в смарт-контрактах блокчейна Ethereum.
An approach of using symbolic execution to automotive vulnerability detection in smart contracts is proposed. Its distinctive feature is Ethereum virtual machine instructions emulation using symbolic variables. A prototype of the program was developed. Its implementation allows five different vulnerabilities detection in smart contracts of Ethereum blockchain.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Авторизованные пользователи СПбПУ |
|
| Интернет | Анонимные пользователи |
|
Количество обращений: 237
За последние 30 дней: 1
