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