В первый день работы Школы с приветственным докладом выступил Сергей Панасенко, директор по научной работе компании «Актив». В этот же день вместе с криптографом-исследователем Кириллом Царегородцевым они представили стенд «Актив», на котором в формате живого диалога отвечали на вопросы студентов.
Кирилл Царегородцев принял участие сразу в нескольких направлениях образовательной программы Летней школы. 30 июля он выступил с лекцией на тему «Основы формальной верификации криптографических протоколов», в которой осветил вопросы формальной верификации и ее ограничений с точки зрения математической логики. Также эксперт стал участником крипторегаты — командного соревнования по криптографии, проходящего в три раунда. Специалист предложил свою задачу для одного из раундов и принял участие в проверке решений.
Кроме того, Кирилл Царегородцев стал одним из преподавателей Летней школы и курировал проект под названием «Формальная верификация с помощью инструмента Verifpal». Основная идея проекта заключалась в том, чтобы перепоручить проверку свойств безопасности криптографических протоколов компьютеру. Задачей участников было описать исследуемый протокол и задать свойства безопасности, которые необходимо проверить. В обязанности куратора входили презентация темы, привлечение участников, постановка целей и задач исследования, помощь в выполнении проекта, а также подготовка тезисов и финальной презентации для выступления на внутренней конференции Школы.
Одним из важнейших событий Летней школы-конференции стал круглый стол по современным проблемам криптографии. Участие в нем также приняли Сергей Панасенко и Кирилл Царегородцев.
Благодарим организаторов Летней школы за приглашение и возможность стать частью образовательного процесса. Именно такие мероприятия создают основу для развития отечественной криптографии, и мы рады поделиться своим опытом и внести вклад в будущее отрасли.