?

Details
Table Card RUSMARC
Title: Статический анализ смарт-контрактов в технологии блокчейн: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_14 - Проектирование аппаратно-программных средств вычислительных систем
Creators: Мурзин Руслан Ильфатович
Scientific adviser: Ицыксон Владимир Михайлович
Other creators: Новопашенный Андрей Гелиевич
Organization: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint: Санкт-Петербург, 2019
Collection: Выпускные квалификационные работы; Общая коллекция
Subjects: Интернет; Вычислительные сети — Надежность; смарт-контракты; сеть эфириум; блокчейн; безопасность смарт-контрактов; инструменты статического анализа; уязвимости смарт-контрактов; mythril
UDC: 004.738.5.056.53(043.3)
Document type: Master graduation qualification work
File type: PDF
Language: Russian
Level of education: Master
Speciality code (FGOS): 09.04.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
Links: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-703
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key: ru\spstu\vkr\2509

Allowed Actions: –

Action 'Read' will be available if you login or access site from another network Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

В работе предложено использование статического и символьного анализа для обнаружения уязвимостей в смарт-контрактах. Даны общие понятия о технологии блокчейн и смарт-контрактах, а также проведена классификация уязвимостей смарт-контрактов. Представлены существующие инструменты безопасности смарт-контрактов. Разработаны модули для инструмента статического анализа Mythril, позволяющие обнаружить четыре различные уязвимости в смарт-контрактах блокчейна Ethereum.

The work proposed to use of static and symbolic analysis to detect vulnerabilities in smart contracts. The general concepts of blockchain technology and smart contracts, as well as the classification of vulnerabilities of smart contracts are given. Existing smart contract security tools are presented. The modules for the Mythril static analysis tool that allow detecting four different vulnerabilities in the Ethereum blockchain smart contracts are developed.

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
-> Internet Anonymous

Usage statistics

stat Access count: 78
Last 30 days: 0
Detailed usage statistics