Спецкурсы

  1. Введение p-адическая эргодическую теорию и ее криптографические приложения
    Primer to the p-adic ergodic theory and its applications to cryptography

    Анашин Владимир Сергеевич
    В спецкурсе будут даны основы p-адической (в первую очередь, 2-адической) эргодической теории применительно к Т-функциям и их криптографическим приложениям. Спецкурс рассчитан на студентов 2-6 курсов и аспирантов.
    Будет интересен студентам 1-2 курса. Студенты 2-го курса могут познакомиться с преподавателями кафедры ИБ, посещение курса учитывается при распределении на кафедру.
    Время и место: среда, 19:30, ауд. 606, первое заседание 22.02.2017

  2. Верификация программ
    Program verification

    Миронов Андрей Михайлович
    В курсе будут изложены 4 основных раздела теории верификации программ - метод индуктивных утверждений, темпоральная логика и model checking, теория процессов, модели и методы верификации функциональных программ.
    Время и место: пятница, 16:45, ауд. 13-06 (ГЗ МГУ), первое заседание 17.02.2017

  3. Комбинаторные алгоритмы и их криптографические приложения
    Combinatorial algorithms and their applications to cryptography

    Егоров Владимир Николаевич
    Спецкурс посвящён построению и анализу эффективных алгоритмов для обработки различных комбинаторных объектов (матриц , графов, групп и т.д.), имеющих важные приложения в криптографии, Кроме того, рассматриваются избранные вопросы дискретной математики (блок-схемы, матрицы Адамара, сильнорегулярные графы).
    Будет интересен студентам 1-2 курса. Студенты 2-го курса могут познакомиться с преподавателями кафедры ИБ, посещение курса учитывается при распределении на кафедру.
    Время и место: вторник, 18:05, ауд. 606, первое заседание 21.02.2017

  4. Методы исследования программного обеспечения
    Methods of computer programs investigation

    Румянцев Павел Васильевич
    В курсе будут рассмотрены методы и способы динамического исследования ПО известного формата (без дизассемблера и отладчика), статического исследования ПО неизвестного формата (без дизассемблера и отладчика), принципы дизассемблирования файлов, методы и способы работы в дизассемблере IDA Pro.
    Будут приведены примеры уязвимостей, базирующихся на ошибках при использовании динамической памяти ОС Windows и Linux (в том числе устройство кучи Windows и Linux). Также будут рассмотрены вопросы исследования систем безопасности современных браузеров на примере Internet Explorer'а, исследования безопасности сетевых протоколов на примере реализации Kerberos в ОС Windows.
    Время и место: четверг, 18:05, ауд. 604, первое заседание 02.03.2017

  5. Вероятностные и комбинаторные задачи в защите информации
    Probabilistic and combinatorial problems in information security

    Велигура Александр Николаевич  
    Курс посвящен комбинаторным и вероятностным задачам, возникающим при анализе современных блочных и поточных шифров. Рассматриваются задачи, связанные с линейным и дифференциальным анализом криптоалгоритмов, а также с использованием предварительных вычислений (в частности, "радужных таблиц"). С этой целью исследуются свойства случайных отображений конечных множеств, распределение числовых характеристик булевых функций, свойства целочисленных случайных величин, приведенных по модулю. Изучаются распределения числовых характеристик отображений, используемых в криптоалгоритмах, а также распределения экстремальных значений случайных величин, возникающих при использовании вероятностных методов криптоанализа. В частности, рассматривается использование "задачи (парадокса) дней рождения" и её обобщений для решения криптоаналитических задач.
    Время и место: вторник, 16:20, ауд. 607, первое заседание 21.02.2017