Прибытие участников на ж/д вокзал Великий Новгород поездом 042(042А), трансфер в гостиницу «Интурист» (ул. Великая, 16)
Программа CTCrypt 2025
3 июня
Прибытие участников на ж/д вокзал Чудово-Московское поездом «Сапсан» 758А (отправление из Москвы в 07:00), трансфер в гостиницу «Интурист» (ул. Великая, 16) – 1 час 10 мин.
Раннее заселение, завтрак, свободное время
Обед в гостинице «Интурист»
Сбор участников на ресепшене гостиницы «Интурист»
Регистрация участников в ИНТЦ «Валдай» (ул. Великая, 18А)
Открытие симпозиума
Приветственное слово от руководящего комитета симпозиума
Оценки веса монотонных биюнктивных функций в связи с методом биюнктивных имплицент решения систем булевых уравнений
О 4-разложении негабент-функций и связанных с ним свойствах
О мощности классов, порождаемых бент-функциями Мэйорана-МакФарланда
Кофе-пауза
Транзитивные кусочно-полиномиальные преобразования над примарными кольцами вычетов и некоторые статистические свойства порождаемых последовательностей
Теоретико-вероятностная модель локальной обратимости двоичного регистра сдвига с булевой функцией усложнения
О практической секретности ключей, формируемых из мгновенных значений стационарного гауссовского процесса
Корректировки двухуровневого подхода к тестированию генераторов случайных чисел, обеспечивающие его надежность, на примере частотного теста из набора тестов NIST SP800-22
Сбор участников на ресепшене гостиницы «Интурист»
Трансфер от гостиницы «Интурист» в ресторан «Юрьевское подворье» (Юрьевское ш., 6А)
Приветственный фуршет в ресторане «Юрьевское подворье»
Трансфер в гостиницу «Интурист»
4 июня
Завтрак по месту проживания
Сбор участников в ИНТЦ «Валдай» (ул. Великая, 18А)
Анализ криптографических алгоритмов и протоколов в условиях квантовой угрозы: подходы, модели, задачи
О реализации ГОСТ 34.10-2018, ГОСТ 34.11-2018 и ГОСТ 34.12-2018 в виде квантовых схем с минимальным количеством кубитов
Код Фиата-Шамира
Эффективная структурная атака на схему постквантовой подписи pqsigRM
Кофе-пауза
Доказуемая стойкость: основные принципы, значимость и открытые вопросы
О стойкости функции выработки производных ключей DUKPT
AEAD-режим MXP — переход "границы дней рождения" без потери эффективности
О безопасности одного протокола анонимной аутентификации
Обед
Известные и коммутативно-групповые 5-конфигурации
Линейные характеристики функций над кольцами Галуа
Оценка преобладания линейного статистического аналога большой размерности
Исследование асимптотического поведения коэффициентов корреляции и связанных функций для анализа криптографической стойкости
Сбор участников на ресепшене гостиницы «Интурист»
Экскурсия по Новгородскому кремлю и водная прогулка на теплоходе с фуршетом
5 июня
Завтрак по месту проживания
Сбор участников в ИНТЦ «Валдай» (ул. Великая, 18А)
Дискуссия
Квантовая угроза. Мифы и реальность
Понятие квантовой угрозы в последнее время стало словосочетанием, которое активно используется в разнообразных документах и проектах, начиная от национальных программ развития в сфере высоких технологий и заканчивая уроками кибергигиены. Что в реальности стоит за этим понятием? Нужно ли уже сейчас учитывать потенциал такой угрозы при реализации современных систем криптографической защиты информации? Какие физические принципы и технологии стоят за реализацией квантовых компьютеров, что они уже сейчас позволяют вычислять и позволят делать в обозримом будущем? И почему квантовое шифрование не надо путать с квантовой телепортацией информации, а квантовое распределение ключей с постквантовой криптографией? Обо всем этом в докладах и дискуссии ведущих российских ученых, экспертов и разработчиков СКЗИ.
Ведущий:
Смышляев Станислав Витальевич, д.ф.-м.н., генеральный директор ООО «КРИПТО-ПРО»
Участники:
Кулик Сергей Павлович, д.ф.-м.н., проф., научный руководитель, Центр квантовых технологий МГУ имени М.В. Ломоносова.
Киктенко Евгений Олегович, к.ф.-м.н., главный научный сотрудник, Российский квантовый центр; ведущий научный консультант, ООО «КуАпп»
Уривский Алексей Викторович, к.ф.-м.н, заместитель генерального директора на науке и инновациям, АО «ИнфоТеКС»
Алексеев Евгений Константинович, к.ф.-м.н, заместитель руководителя департамента информационной безопасности, ООО «КРИПТО-ПРО»
Чижов Иван Владимирович, к.ф.-м.н., заместитель по науке руководителя лаборатории криптографии, АО «НПК «Криптонит»
Кофе-пауза
Круглый стол
На пути к экономике данных без экономии данных. Практические наблюдения о протоколах конфиденциальных вычислений
Конфиденциальные вычисления – это технология, которая может позволить экономическим субъектам осуществлять анализ данных, которыми они не обладают, и при этом не нарушать конфиденциальность этих данных. Несмотря на то, что уже существует ряд примеров использования технологии, конфиденциальные вычисления не становятся массовыми. Короткие доклады о проблемах технологии и выводах, которые можно сделать на основе существующего опыта применения конфиденциальных вычислений, а также дискуссия экспертов позволят слушателям круглого стола самостоятельно оценить степень зрелости технологии. В роли экспертов выступят ведущие специалисты, занимающиеся технологией на разных этапах её жизненного цикла: от разработки решений до их внедрения и стандартизации.
Ведущий:
Коренева Алиса Михайловна, к.ф.-м.н., зам. руководителя службы сертификации по научно-техническому сотрудничеству ООО «Код Безопасности», доцент кафедры ИБ Финансового университета при Правительстве РФ
Участники:
Снурницын Павел Владимирович, к.ф.-м.н., математик кафедры информационной безопасности факультета ВМК МГУ им. М.В. Ломоносова
Елистратов Андрей Алексеевич, к.ф.-м.н., Банк России
Кяжин Сергей Николаевич, к.ф.-м.н., зам. начальника отдела криптографических исследований ООО "КРИПТО-ПРО", доцент кафедры криптологии и кибербезопасности НИЯУ МИФИ
Емельянов Пётр Николаевич, генеральный директор ООО "Блумтех"
Вельц Сергей Владимирович, технический директор и основатель ООО "КБ ТехноСкор"
Науменко Антон Павлович, заместитель начальника отдела, ООО "СФБ Лаб", руководитель направления АО "ИнфоТеКС"
Мини-доклады (темы для обсуждения):
1. Массовые конфиденциальные вычисления. Почему их нет? (Снурницын П.В.)
2. Регуляторные ограничения и разные виды тайн (Елистратов А.А.)
3. Похожие задачи – разные протоколы (Кяжин С.Н.)
4. Архитектура как возможность упростить жизнь участникам (Емельянов П.Н.)
5. Качество данных, используемых в вычислениях (Вельц С.В.)
6. Особенности технической реализации, нормативное регулирование – облик СКЗИ (Науменко А.П.)
Обед
Круглый стол
Криптографические механизмы в киберфизических системах
Цифровизация уже далеко шагнула за пределы офисов и ЦОДов – в мир киберфизических систем: интернет-вещей, распределенные интеллектуальные системы сбора и обработки данных, промышленные АСУ ТП, беспилотный транспорт во всем его многообразии – все это сейчас стало неразрывным сплавом микропроцессорной техники, программного обеспечения и множества датчиков и исполнительных устройств, позволяющих «видеть», «слышать» и воздействовать на среду обитания и деятельности человека. Проблемы информационной безопасности становятся краеугольным камнем безопасности и надежности функционирования таких систем в целом, а грамотное их разрешение – основой устойчивости критической инфраструктуры страны в целом. Новые нормативные акты уже требуют обязательное применение СКЗИ в некоторых видах киберфизических систем, например, в БПЛА. О проблемах и имеющихся решениях по криптографической защите данных в таких системах, российских сим-картах как «серебряной пуле» и многом другом по теме в дискуссии с ведущими разработчиками-экспертами киберфизических систем и СКЗИ.
Ведущие:
Гусев Дмитрий Михайлович, заместитель генерального директора, ИнфоТеКС
Горелов Дмитрий Львович, управляющий партнер, Компания «Актив»
Эксперты круглого стола:
Представители компаний разработчиков киберфизических систем и решений, разработчики средств АСУ и IoT, системные интеграторы, разработчики криптографических продуктов.
Вводные доклады:
«Умные протоколы для умных устройств. Криптография для киберфизических систем»
Липина Татьяна Игоревна, начальник отдела, Компания «Актив»
Царегородцев Кирилл Денисович, криптограф-исследователь, Компания «Актив»
В докладе рассматривается общая структура киберфизических систем. Среди атак на киберфизические системы выделяются те, от которых можно защититься, применяя криптографические протоколы, реализующие функции аутентификации, шифрования, имитозащиты. В презентации представлен обзор таких протоколов.
«Использование криптографических решений в киберфизических системах. Перспективы развития и актуальные сценарии применения»
Сорокина Марина Викторовна, руководитель направления отдела развития продуктов, ИнфоТеКС
Доклад посвящен проблематике применения СКЗИ в киберфизических системах на примере промышленного интернета вещей. Рассматриваются особенности архитектуры IIoT-системы и подходы по защите информации IIoT-устройств. На основе реального практического опыта показывается какие сценарии защиты находят применения и с какими сложностями сталкиваются разработчики оборудования.
«Базовые станции LoRaWAN с СКЗИ для IoT/ IIoT»
Алёхин Артём, руководитель проектов, ООО «Лартех»
«Многоуровневая защита АСУТП в условиях растущих киберугроз»
Усков Николай Александрович, технический директор, ООО «АКСИТЕХ»
Перерыв
Построение рекурсивных МДР-матриц с неприводимым характеристическим многочленом: практический подход (online)
Анализ компонентных функций: воспроизведение свойств S-бокса «Кузнечика» с использованием эвристического метода (online)
Сессия коротких докладов
Пороговые подписи и их приложения в финансах
Реализация ДСЧ в мобильных СКЗИ для массового пользователя
Генерация случайных чисел на основе кольцевых осцилляторов: реальность и модель
Обобщения протокола Диффи-Хеллмана
ДУКПТ: Доказательство Устраняющее Критические Пробелы в Теории
Ужин в гостинице «Интурист»
6 июня
Завтрак по месту проживания, сдача номеров
Сбор участников в ИНТЦ «Валдай» (ул. Великая, 18А)
Адаптированный спектрально-рассеивающий метод построения матриц специального вида с высокими значениями коэффициентов рассеивания
Группы автоморфизмов максимально рассеивающих матриц
Математическая модель скорости реализации криптографических алгоритмов на графических вычислителях
Битово-параллельная реализация алгоритмов «Стрибог» и «Кузнечик»
Кофе-пауза
Об одном подходе к доказательству владения закрытым ключом для KEM на основе двоичных кодов Гоппы
О связи задачи перестановочной эквивалентности линейных кодов и задачи изоморфизма квадратичных форм
Построение квазициклических подполевых подкодов эллиптических кодов с заранее известными параметрами
Завершение симпозиума
Завершающее слово от руководящего комитета симпозиума
Обед в гостинице «Интурист»
Сбор участников с багажом на ресепшене гостиницы «Интурист»
Экскурсия в Витославлицы
По окончании экскурсии трансфер на ж/д вокзал Великий Новгород (без заезда в гостиницу)
По окончании экскурсии трансфер на ж/д вокзал Чудово (без заезда в гостиницу)
Отправление поезда 042Ч Великий Новгород - Москва
Отправление поезда «Сапсан» 785А Чудово-Московское - Москва