Ссылка на кабинет: 1000
Тип проекта: НИР
Статус проекта: В работе с 08.10.2021
Исследование вопросов построения и верификации смарт-контрактов
Обзор и сравнительный анализ платформ для реализации смарт-контрактов (например, Hyperledger Fabric, Corda, Ethereum, Quorum, EOS, VeChain).
Обзор и сравнительный анализ методов и программных инструментов, используемых при синтакситечском анализе кода программы, статистическом и динамическом анализе в приложении к анализу смарт-контрактов.
Обзор и сравнительный анализ подходов и методов верификации смарт-контрактов (например, Proverif, HOL и Isabelle).
Разработка перечня основных синтаксических и логических конструкций, используемых при построении моделей на соответствующих языках спецификаций и языках программирования.
| Нестеренко Алексей Юрьевич | Семенов Александр Михайлович. |
|---|---|
| Кафедра компьютерной безопасности | не указана |
| Руководитель проекта | Инициатор проекта |
| anesterenko@hse.ru | amsemenov@hse.ru |
| Анисимов Александр Алексеевич | Иванов Герман Денисович | Макеев Владимир Григорьевич | Семин Артем Константинович |
|---|---|---|---|
| БИВ196 | БПМ201 | БПМ201 | СКБ181 |
| Аналитик/исследователь | Аналитик/исследователь | Аналитик/исследователь | Аналитик/исследователь |
| aaanisimov_2@miem.hse.ru | gdivanov@edu.hse.ru | vgmakeev@edu.hse.ru | aksemin@edu.hse.ru |