Студенты гр. 16ВВ1 Веселова Марина, Забродина Ксения и Сафронова Валерия приняли участие в работе в XXI Международной конференции «ПРОБЛЕМЫ УПРАВЛЕНИЯ И МОДЕЛИРОВАНИЯ В СЛОЖНЫХ СИСТЕМАХ», которая проходила 03–06 сентября на базе Самарского государственного технического университета и института проблем управления сложными системами РАН. В их докладе "Formalized description of message encryption in messaging apps using automata theory" были рассмотрены протоколы обмена мгновенными сообщениями MTProto и Signal, основанные на симметричном алгоритме блочного шифрования AES-256, который является наиболее используемым стандартом кодирования на сегодняшний день. Для того, чтобы более детально представить механизм работы данного алгоритма, была описана математическая модель метода шифрования сообщений в мессенджерах с применением теории автоматов. Кроме того, разработанное формализованное описание с использованием СНДА может быть применено и в смежных областях, например, для проектирования дискретного устройства кодирования данных и портирования разработанного программного обеспечения на аппаратные средства, например ПЛИС, что в дальнейшем позволит повысить уровень безопасности при передаче информации на физическом уровне.