Приглашаются желающие участвовать в проекте "Формальная верификация реализации хэш-функции «Стрибог» с «Группой Астра»", который запланирован 6-19 июля 2025 года на Большой Математической Мастерской в Новосибирском Академгородке.
Задача проекта – выработать подход к построению формального автоматически проверяемого доказательства функциональной корректности одной из реализаций на языке C хэш-функции «Стрибог». Подробная информация о проекте доступна на сайте БММ.
Заказчиком данного проекта является Группа Астра. Куратором данного проекта на Большой Математической Мастерской является к.ф.-м.н., н.с. ИСИ СО РАН и старший преподаватель НГУ Кондратьев Дмитрий Александрович.
Срок подачи заявок на участие с 1 мая до 1 июня 2025 года. Во время выполнения проекта 6-19 июля 2025 года обязательно очное участие.