–
Статьи в журналах
-
- 2020 InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
- Kukharenko Vladimir Aleksandrovich, Ziborov Kirill Viktorovich, Sadykov Rafael Faritovich, Naumchev Alexandr Vladimirovich, Rezin Ruslan Maratovich, Merkin-Janson Leonid Albertovich
- в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 27, № 4, с. 454-471 DOI
Доклады на научных конференциях
-
- 2026 Формальная верификация и устойчивость к цензуре протоколов византийского консенсуса на примере IBFT (Устный)
- Авторы: Миронов А.М., Зиборов К.В., Бондарев Н.С., Янович Ю.А.
- Ломоносовские чтения - 2026. Секция Инженерии знаний и доверенного искусственного интеллекта для сложных систем, Факультет искусственного интеллекта МГУ имени М.В.Ломоносова, Россия, 27-30 марта 2026