Современные вычислительные системы для решения задач криптографии и информационной безопасности

Курс посвящен теоретическим и практическим аспектам решения задач криптографии и информационной безопасности. В рамках курса предлагается изучить базовые способы представления булевых и векторных функций, их криптографические свойства, и овладеть навыками применения средств автоматизации решения задач (таких как Cryptominisat и Bosphorus) и средств автоматизированного анализа шифров.

В рамках курса рассматриваются следующие темы:

• Вычислительные задачи в криптографии. 
• Представление булевой и векторной функции. Преобразования между разными способами представления. 
• Тесты проверки последовательности на случайность. 
• Криптографические свойства узлов замены (S-блоков) в симметричных шифрах. 
• Перечисление функций. Полный перебор в глубину с отсечениями. 
• SAT-решатели. Введение, базовые алгоритмы, существующие решения. 
• Реализация атаки угадай-и-вычисли.
• Средства автоматизации описания и решения задач криптографии.

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

Для успешного освоения курса требуются следующие навыки:

1.    Владение хотя бы одним языком программирования.

Приглашаем студентов 2 курса бакалавриата ФИТ НГУ, обучающихся по профилю «Программная инженерия и компьютерные науки», пройти обучение по факультативной дисциплине «Современные вычислительные системы для решения задач криптографии и информационной безопасности» в следующем учебном году. Для обучающихся бакалавриата по профилю «Компьютерные науки и системотехника», магистратуры, аспирантуры и обучающихся других факультетов данный факультатив доступен без включения его результатов в приложение к диплому.

Объём факультатива — 108 часов (3 з.е.), из них лабораторных занятий — 32 часа, продолжительность — один семестр, форма аттестации — дифференцированный зачет.

Преподаватели факультатива:

• Калгин Константин Викторович, старший преподаватель кафедры параллельных вычислений ФИТ, кандидат физико-математических наук.

Регистрация открыта до 28 апреля 2023 г. включительно, является обязательной и включает два этапа:.

1. Заполнение онлайн-формы
2. Заполнение бланка индивидуального плана и предоставление его в деканат