• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Optimizing multi-party agreement protocols
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
18 мая 2026 г.
В Вышке прошла XXX юбилейная научно-техническая конференция имени Е.В. Арменского
Организатором научного события выступает Московский институт электроники и математики им. А.Н. Тихонова ВШЭ. В этом году главный инженерный студенческий форум проходил 30-й раз и собрал рекордное число участников. Студенты, аспиранты и молодые специалисты из 50 вузов и организаций России представили научно-исследовательские доклады в ИТ-области. Отдельная секция была посвящена научно-исследовательским работам школьников.
15 мая 2026 г.
В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций
Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.
15 мая 2026 г.
Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ
В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Optimizing multi-party agreement protocols

P. 55–58.
Fedotov I., Anton Khritankov, Barger A.
Язык: английский
DOI
Ключевые слова: Blockchainsoftware verificationStatistical model checkingHyperledger Fabricmulti-party agreement

В книге

2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022
IEEE, 2022.
Похожие публикации
Технология блокчейн в управлении цепями поставок
Сергеев В. И., Дыбская В. В., Логистика 2025 № 4 С. 11–16
Раскрыто содержание концепции (технологии) блокчейн применительно к управлению цепями поставок (УЦП) и логистике. Показана эволюция технологии блокчейн: продвинутый блокчейн, комплексные и расширенные решения с использованием блокчейна. Рассмотрены основные области применения и характеристика проблематики применения блокчейна в УЦП. Проанализированы ключевые риски и проблемы, с которыми сталкиваются разработчики блокчейн-решений в логистике и УЦП. ...
Добавлено: 29 апреля 2026 г.
Marketing and Smart Technologies: Proceedings of ICMarkTech 2024, Volume 2
Springer, 2025.
Добавлено: 18 февраля 2026 г.
Backtesting framework for concentrated liquidity market makers on Uniswap V3 decentralized exchange
Urusov A., Березовский Р. Г., Янович Ю. А., Blockchain: Research and Applications 2025
Добавлено: 30 ноября 2025 г.
Влияние судебной практики на правовое регулирование криптовалют и майнинга в Российской Федерации и Великобритании
Хусаинов Г. Э., Теоретическая и прикладная юриспруденция 2026 № 1 С. 184–197
Введение. Динамичное развитие блокчейн-технологий опережает формирование комплексного законодательного регулирования. В условиях нормативных пробелов ключевую роль в определении правового режима криптовалют и майнинга играет судебная практика, что обуславливает актуальность сравнительного анализа ее влияния в различных правовых системах. Материалы и методы. Исследование основано на сравнительно-правовом и формально-юридическом методах. Материалами послужили ключевые судебные прецеденты Российской Федерации и Великобритании, а ...
Добавлено: 28 октября 2025 г.
From Digital Disruption to Dominance: Leveraging FinTech Applications for Sustainable Growth
Emerald Publishing Limited, 2025.
Добавлено: 4 июня 2025 г.
Decentralized Public Transport Management System Based on Blockchain Technology
Stanislav Trofimov, Leonid Voskov, Mikhail Komarov, Applied Sciences (Switzerland) 2025 Vol. 15 No. 3 Article 1348
Добавлено: 1 февраля 2025 г.
An Approach of Monitoring the Vehicle's Condition Based on Blockchain and Smart Contracts
Stanislav Ivanovich Trofimov, Leonid Sergeevich Voskov, Mikhail Mikhailovich Komarov, , in: ICBTA '24: Proceedings of the 2024 7th International Conference on Blockchain Technology and Applications.: NY: Association for Computing Machinery (ACM), 2025. P. 42–48.
Добавлено: 18 января 2025 г.
ICBTA '24: Proceedings of the 2024 7th International Conference on Blockchain Technology and Applications
NY: Association for Computing Machinery (ACM), 2025.
Добавлено: 18 января 2025 г.
Management of Digital EcoSystems.15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023, Revised Selected Papers.
Switzerland: Springer, 2024.
Добавлено: 1 апреля 2024 г.
Block by block: a bibliometric analysis of blockchain in real estate
Ван Ф., Journal of information systems engineering & management 2023 Vol. 8 No. 2 Article 21498
Добавлено: 13 ноября 2023 г.
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Добавлено: 9 октября 2023 г.
Demystifying Blockchain Technology for Resource-Constrained IoT Devices: Parameters, Challenges and Future Perspective
Ometov A., Комаров М. М., Ромашкова И. А., IEEE Access 2021
Добавлено: 18 января 2023 г.
Black-Box for Blockchain Parameters Adjustment
Amelin V., Ernest Gatiyatullin, Romanov N. и др., IEEE Access 2022 Vol. 10 P. 101795–101802
Добавлено: 25 октября 2022 г.
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties
Fedotov I., Anton Khritankov, Barger A., , in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM).: NY: Association for Computing Machinery (ACM), 2022. P. 100–105.
Добавлено: 20 сентября 2022 г.
2021 44th International Conference on Telecommunications and Signal Processing (TSP)
IEEE Computer Society, 2021.
Добавлено: 2 октября 2021 г.
Statistical Model Checking of Common Attack Scenarios on Blockchain
Fedotov I., Anton Khritankov, , in: Electronic Proceedings in Theoretical Computer Science (EPTCS). Proceedings of the 9th International Symposium on Symbolic Computation in Software Science.: Open Publishing Association, 2021. P. 65–77.
Добавлено: 23 сентября 2021 г.
On distributed ledgers security and illegal uses
Moubarak J., Chamoun M., Филиол Э. А., Future Generation Computer Systems 2020 No. 113 P. 183–195
Distributed ledgers stimulate innovative services and enabled new applications in several domains, creating new concepts for trust and regulation. However, this backbone that is enabling novelties and abridging businesses comes with drawbacks and security flaws. In this paper, we evaluate several Distributed Ledger Technologies (DLTs) features depicting the Bitcoin, Ripple, Ethereum, Hyperledger, Algorand and IOTA ...
Добавлено: 25 января 2021 г.
Blockchain in Charity: Platform for Tracking Donations
Sergey Avdoshin, Elena Pesotskaya, , in: Proceedings of the Future Technologies Conference (FTC) 2020, Volume 2Vol. 2.: Switzerland: Springer, 2021. P. 689–701.
Добавлено: 5 ноября 2020 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору