Обухова Алиса АндреевнаРоссия, НовосибирскАдрес электронной почтыobukhova.alisa@gmail.com Список статей в журнале СИ: Кондратьев Д.А. Бояндин Л.К. Гончар Г.Е. Марченко В.В. Обухова А.А. Разбитнова Ю.Ю. Хованская А.С. Янбулатов Д.Р. Формальная верификация реализации хэш-функции «Стрибог» с «Группой Астра» // Системная информатика. — 2025. — № 28. — С. 25-52