–
Доклады на научных конференциях
-
- 2026 Формальная верификация и устойчивость к цензуре протоколов византийского консенсуса на примере IBFT (Устный)
- Авторы: Миронов А.М., Зиборов К.В., Бондарев Н.С., Янович Ю.А.
- Ломоносовские чтения - 2026. Секция Инженерии знаний и доверенного искусственного интеллекта для сложных систем, Факультет искусственного интеллекта МГУ имени М.В.Ломоносова, Россия, 27-30 марта 2026