Исследование методов верификации смарт контрактов

ФИО студента: Литвиненко Алексей Михайлович

Кампус/факультет: Московский институт электроники и математики им. А.Н. Тихонова

Программа: Компьютерные системы и сети (Магистратура)

Оценка: 9

Год защиты: 2024

Цель данной работы состоит в определении наиболее подходящего инструмента верификации на основе критериев точности и скорости верификации. В работе представлен обзор существующих методов и инструментов верификации, основанных на этих методах. Дано определение формальной верификации и верификации, основанной на детектировании уязвимостей. Приведена классификация уязвимостей смарт-контрактов, а также некоторые методы, с помощью которых их можно избежать. Результаты работы включают в себя создание выборки уязвимых смарт-контрактов, проведение ручного аудита добавленных смарт-контрактов, проведение тестирования при помощи фреймворка SmartBugs с целью получения характеристик скорости и точности детектирования уязвимостей, анализ полученных результатов. Работа состоит из 70 страниц, включает в себя 37 рисунков, 2 таблицы, 1 приложение и ссылается на 95 источников литературы.

Текст работы (работа добавлена 19 мая 2024 г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ