?

Детальная информация
Таблица Карточка RUSMARC
Название: Использование символьного выполнения для автоматизированного поиска уязвимостей в смарт-контрактах блокчейна 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
Тип документа: Выпускная квалификационная работа специалиста
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 10.05.04
Группа специальностей ФГОС: 100000 - Информационная безопасность
Ссылки: http://doi.org/10.18720/SPBPU/3/2019/vr/vr19-39; 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

Разрешенные действия: Прочитать Загрузить (0,5 Мб) Для чтения документа необходим Flash Player

Группа: Анонимные пользователи

Сеть: Локальная сеть ИБК СПбПУ

Аннотация

В работе предложено использованием символьного выполнения для автоматизированного обнаружения уязвимостей в смарт-контрактах. Его отличительной особенностью является эмуляция инструкций виртуальной машины 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.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
-> Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Все Прочитать Печать Загрузить

Статистика использования документа

stat Количество обращений: 0
За последние 30 дней: 0
Подробная статистика