Внимание!!!
Важная информация для участников CTCrypt 2020!

Официальные партнеры

Партнеры

При поддержке

Оператор

Фотогалерея

Программа

3 июня
(вторник)

07:06-07:30

Прибытие участников на ж/д вокзал Великий Новгород поездом 042(042А), трансфер в гостиницу «Интурист» (ул. Великая, 16)

10:14-11:30

Прибытие участников на ж/д вокзал Чудово-Московское поездом «Сапсан» 758А (отправление из Москвы в 07:00), трансфер в гостиницу «Интурист» (ул. Великая, 16) – 1 час 10 мин.

07:30-11:00

Раннее заселение, завтрак, свободное время

12:00-12:50

Обед в гостинице «Интурист»

13:00

Сбор участников на ресепшене гостиницы «Интурист»

13:30-14:00

Регистрация участников в ИНТЦ «Валдай» (ул. Великая, 18А)

14:00-14:10

Открытие симпозиума

Приветственное слово от руководящего комитета симпозиума

Алгебраические аспекты

14:10-14:30

Оценки веса монотонных биюнктивных функций в связи с методом биюнктивных имплицент решения систем булевых уравнений
Алексей Тарасов и Никита Трубицин

14:30-15:00

О 4-разложении негабент-функций и связанных с ним свойствах
Александр Куценко

15:00-15:30

О мощности классов, порождаемых бент-функциями Мэйорана-МакФарланда
Николай Коломеец и Денис Быков

Кофе-пауза
15:30-16:00

Алгебраические и вероятностные аспекты

16:00-16:20

Транзитивные кусочно-полиномиальные преобразования над примарными кольцами вычетов и некоторые статистические свойства порождаемых последовательностей
Антон Васин и Татьяна Липина

16:20-16:40

Теоретико-вероятностная модель локальной обратимости двоичного регистра сдвига с булевой функцией усложнения
Владимир Винокуров и Александр Тюкин

16:40-17:10

О практической секретности ключей, формируемых из мгновенных значений стационарного гауссовского процесса
Дмитрий Богданов

17:10-17:40

Корректировки двухуровневого подхода к тестированию генераторов случайных чисел, обеспечивающие его надежность, на примере частотного теста из набора тестов NIST SP800-22
Александр Серов

18:20

Сбор участников на ресепшене гостиницы «Интурист»

18:30-19:00

Трансфер от гостиницы «Интурист» в ресторан «Юрьевское подворье» (Юрьевское ш., 6А)

19:00-21:30

Приветственный фуршет в ресторане «Юрьевское подворье»

21:30-22:00

Трансфер в гостиницу «Интурист» 


4 июня
(среда)

Квантовый криптоанализ и постквантовая криптография

07:00-08:30

Завтрак по месту проживания

08:50

Сбор участников в ИНТЦ «Валдай» (ул. Великая, 18А)

09:00-09:50

Приглашённый доклад

Анализ криптографических алгоритмов и протоколов в условиях квантовой угрозы: подходы, модели, задачи
Виталий Кирюхин, Антон Науменко и Андрей Щербаченко

09:50-10:20

О реализации ГОСТ 34.10-2018, ГОСТ 34.11-2018 и ГОСТ 34.12-2018 в виде квантовых схем с минимальным количеством кубитов
Денис Денисенко и Марина Никитенкова

10:20-10:50

Код Фиата-Шамира
Антон Гуселев и Денис Фомин

10:50-11:10

Эффективная структурная атака на схему постквантовой подписи pqsigRM
Андрей Рубенков и Иван Чижов

Кофе-пауза
11:10-11:40

Доказуемая стойкость

11:40-12:30

Приглашённый доклад

Доказуемая стойкость: основные принципы, значимость и открытые вопросы
Евгений Алексеев и Лилия Ахметзянова

12:30-13:00

О стойкости функции выработки производных ключей DUKPT
Илья Махонин, Лилия Ахметзянова и Станислав Смышляев

13:00-13:30

AEAD-режим MXP — переход "границы дней рождения" без потери эффективности
Виталий Кирюхин

13:30-14:00

О безопасности одного протокола анонимной аутентификации
Александр Бахарев и Кирилл Царегородцев

Обед
14:00 – 15:00

Алгебраические аспекты

15:00-15:30

Известные и коммутативно-групповые 5-конфигурации
Фёдор Малышев

15:30-16:00

Линейные характеристики функций над кольцами Галуа
Олег Камловский

Криптоанализ симметричных механизмов

16:00-16:20

Оценка преобладания линейного статистического аналога большой размерности
Василий Шишкин

16:20-16:40

Исследование асимптотического поведения коэффициентов корреляции и связанных функций для анализа криптографической стойкости
Александр Каргин и Денис Фомин

17:20

Сбор участников на ресепшене гостиницы «Интурист»

17:20-21:30

Экскурсия по Новгородскому кремлю и водная прогулка на теплоходе с фуршетом


5 июня
(четверг)

День Практической криптографии

07:00-09:30

Завтрак по месту проживания

09:50

Сбор участников в ИНТЦ «Валдай» (ул. Великая, 18А)

Дискуссия
Квантовая угроза. Мифы и реальность

10:00-12:00

Понятие квантовой угрозы в последнее время стало словосочетанием, которое активно используется в разнообразных документах и проектах, начиная от национальных программ развития в сфере высоких технологий и заканчивая уроками кибергигиены. Что в реальности стоит за этим понятием? Нужно ли уже сейчас учитывать потенциал такой угрозы при реализации современных систем криптографической защиты информации? Какие физические принципы и технологии стоят за реализацией квантовых компьютеров, что они уже сейчас позволяют вычислять и позволят делать в обозримом будущем? И почему квантовое шифрование не надо путать с квантовой телепортацией информации, а квантовое распределение ключей с постквантовой криптографией? Обо всем этом в докладах и дискуссии ведущих российских ученых, экспертов и разработчиков СКЗИ.

 

Ведущий:

Смышляев Станислав Витальевич, д.ф.-м.н., генеральный директор ООО «КРИПТО-ПРО»

 

Участники:

Кулик Сергей Павлович, д.ф.-м.н., проф., научный руководитель, Центр квантовых технологий МГУ имени М.В. Ломоносова.
Киктенко Евгений Олегович, к.ф.-м.н., ведущий научный сотрудник, Российский квантовый центр
Уривский Алексей Викторович, к.ф.-м.н, заместитель генерального директора на науке и инновациям, АО «ИнфоТеКС»
Алексеев Евгений Константинович, к.ф.-м.н, заместитель руководителя департамента информационной безопасности, ООО «КРИПТО-ПРО»
Чижов Иван Владимирович, к.ф.-м.н., заместитель по науке руководителя лаборатории криптографии, АО «НПК «Криптонит»

Кофе-пауза

12:00-12:30

Круглый стол
На пути к экономике данных без экономии данных. Практические наблюдения о протоколах конфиденциальных вычислений

12:30-14:30

Конфиденциальные вычисления – это технология, которая может позволить экономическим субъектам осуществлять анализ данных, которыми они не обладают, и при этом не нарушать конфиденциальность этих данных. Несмотря на то, что уже существует ряд примеров использования технологии, конфиденциальные вычисления не становятся массовыми. Короткие доклады о проблемах технологии и выводах, которые можно сделать на основе существующего опыта применения конфиденциальных вычислений, а также дискуссия экспертов позволят слушателям круглого стола самостоятельно оценить степень зрелости технологии. В роли экспертов выступят ведущие специалисты, занимающиеся технологией на разных этапах её жизненного цикла: от разработки решений до их внедрения и стандартизации.

 

Ведущий:

Коренева Алиса Михайловна, к.ф.-м.н., зам. руководителя службы сертификации по научно-техническому сотрудничеству ООО «Код Безопасности», доцент кафедры ИБ Финансового университета при Правительстве РФ

 

Участники:

Снурницын Павел Владимирович, к.ф.-м.н., математик кафедры информационной безопасности факультета ВМК МГУ им. М.В. Ломоносова
Елистратов Андрей Алексеевич, к.ф.-м.н., Банк России
Кяжин Сергей Николаевич, к.ф.-м.н., зам. начальника отдела криптографических исследований ООО "КРИПТО-ПРО", доцент кафедры криптологии и кибербезопасности НИЯУ МИФИ
Емельянов Пётр Николаевич, генеральный директор ООО "Блумтех"
Вельц Сергей Владимирович, технический директор и основатель ООО "КБ ТехноСкор"
Науменко Антон Павлович, заместитель начальника отдела, ООО "СФБ Лаб", руководитель направления АО "ИнфоТеКС"

 

Мини-доклады (темы для обсуждения):

1. Массовые конфиденциальные вычисления. Почему их нет? (Снурницын П.В.)
2. Регуляторные ограничения и разные виды тайн (Елистратов А.А.)
3. Похожие задачи – разные протоколы (Кяжин С.Н.)
4. Архитектура как возможность упростить жизнь участникам (Емельянов П.Н.)
5. Качество данных, используемых в вычислениях (Вельц С.В.)
6. Особенности технической реализации, нормативное регулирование – облик СКЗИ (Науменко А.П.)

Обед

14:30-15:30

Круглый стол
Криптографические механизмы в киберфизических системах

15:30-17:00

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

 

Ведущие:

Гусев Дмитрий Михайлович, заместитель генерального директора, ИнфоТеКС
Горелов Дмитрий Львович, управляющий партнер, Компания «Актив»

 

Эксперты круглого стола:

Представители компаний разработчиков киберфизических систем и решений, разработчики средств АСУ и IoT, системные интеграторы, разработчики криптографических продуктов.

 

Вводные доклады:

«Умные протоколы для умных устройств. Криптография для киберфизических систем»
Липина Татьяна Игоревна, начальник отдела, Компания «Актив»
Царегородцев Кирилл Денисович, криптограф-исследователь, Компания «Актив»

В докладе рассматривается общая структура киберфизических систем. Среди атак на киберфизические системы выделяются те, от которых можно защититься, применяя криптографические протоколы, реализующие функции аутентификации, шифрования, имитозащиты. В презентации представлен обзор таких протоколов.

 

«Использование криптографических решений в киберфизических системах. Перспективы развития и актуальные сценарии применения»
Сорокина Марина Викторовна, руководитель направления отдела развития продуктов, ИнфоТеКС

Доклад посвящен проблематике применения СКЗИ в киберфизических системах на примере промышленного интернета вещей. Рассматриваются особенности архитектуры IIoT-системы и подходы по защите информации IIoT-устройств. На основе реального практического опыта показывается какие сценарии защиты находят применения и с какими сложностями сталкиваются разработчики оборудования.

Перерыв

17:00 – 17:15

Симметричная криптография

17:15-17:35

Построение рекурсивных МДР-матриц с неприводимым характеристическим многочленом: практический подход (online)
Пабло Фрейре Аррозарена, Рамзес Родригез Аулет, Алехандро Фрейре Эчеваррия и Ористела Куеллар Хустис

17:35-18:05

Анализ компонентных функций: воспроизведение свойств S-бокса «Кузнечика» с использованием эвристического метода (online)
Алехандро Фрере Эчеваррия, Рейнер Антонио Де Ла Крус Хименес, Рене Фернандес-Леал, Рамзес Родригез Аулет и Оливер Кой Пуэнте

18:05-18:45

Сессия коротких докладов

19:00-20:00

Ужин в гостинице «Интурист»


6 июня
(пятница)

07:00-09:30

Завтрак по месту проживания, сдача номеров

09:50

Сбор участников в ИНТЦ «Валдай» (ул. Великая, 18А)

Алгебраические аспекты

10:00-10:30

Адаптированный спектрально-рассеивающий метод построения матриц специального вида с высокими значениями коэффициентов рассеивания
Андрей Менячихин

10:30-11:00

Группы автоморфизмов максимально рассеивающих матриц
Дмитрий Буров и Сергей Костарев

Реализация криптографических алгоритмов и протоколов

11:00-11:20

Математическая модель скорости реализации криптографических алгоритмов на графических вычислителях
Денис Фомин и Андрей Чухно

11:20-11:40

Битово-параллельная реализация алгоритмов «Стрибог» и «Кузнечик»
Анатолий Соловьев и Денис Фомин

Кофе-пауза

11:40 – 12:10

Постквантовая криптография

12:10-12:40

Об одном подходе к доказательству владения закрытым ключом для KEM на основе двоичных кодов Гоппы
Лилия Ахметзянова, Евгений Алексеев, Александра Бабуева и Андрей Божко

12:40-13:10

О связи задачи перестановочной эквивалентности линейных кодов и задачи изоморфизма квадратичных форм
Иван Чижов

13:10-13:30

Построение квазициклических подполевых подкодов эллиптических кодов с заранее известными параметрами
Артем Кунинец

13:30-13:40

Завершение симпозиума

Завершающее слово от руководящего комитета симпозиума

14:00-15:30

Обед в гостинице «Интурист»

15:45

Сбор участников с багажом на ресепшене гостиницы «Интурист»

16:00-19:30

Экскурсия в Витославлицы

19:30- 20:00

По окончании экскурсии трансфер на ж/д вокзал Великий Новгород (без заезда в гостиницу)

19:30- 21:30

По окончании экскурсии трансфер на ж/д вокзал Чудово (без заезда в гостиницу)

21:35

Отправление поезда 042Ч Великий Новгород - Москва

21:52

Отправление поезда «Сапсан» 785А Чудово-Московское - Москва