Диссертационный совет МГУ 05.01

Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями

22-06-2022 Жуков Владимир Владимирович

Комбинаторные свойства схем обеспечения конфиденциальности и целостности информации

01-06-2022 Ахметзянова Лилия Руслановна

Темпы роста произвольных конечных структур

27-04-2022 Комков Степан Алексеевич

Линейные автоматы над подкольцами рациональных чисел

06-04-2022 Ронжин Дмитрий Владимирович

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

16-03-2022 Смышляев Станислав Витальевич

О свойствах разложимых графов

16-02-2022 Ищенко Роман Андреевич

Оценки длин тестов и сертификатов для бесповторных функций

29-12-2021 Кафтан Дарья Владимировна

О сложности реализации систем одночленов схемами композиции

29-12-2021 Корнеев Сергей Александрович

Математические модели передачи информации через зашумлённые скрытые каналы

08-12-2021 Казаков Илья Борисович

Семантический разбор и обработка трехмерных сцен

08-12-2021 Рухович Данила Дмитриевич

Использование бинарных функциональных сетей при построении кратно транзитивных множеств блочных преобразований

24-11-2021 Чередник Игорь Владимирович

Явные формулы для распределений характеристик итераций случайных отображений

24-11-2021 Миронкин Владимир Олегович

Критериальная система неявно предполных классов в трехзначной логике

27-10-2021 Старостин Михаил Васильевич

Семантические модели классификации и анализа данных в больших информационно-аналитических системах

27-10-2021 Шачнев Дмитрий Алексеевич

Полнота и выразимость в классах линейных автоматов

06-10-2021 Часовских Анатолий Александрович

Теоретико-графовые алгоритмы выявления семантической близости между понятиями на основе анализа наборов ключевых слов взаимосвязанных объектов

15-09-2021 Лунев Кирилл Владимирович

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

25-12-2019 Логачев Олег Алексеевич

Об оценках длин минимальных тестов для логических схем

11-12-2019 Романов Дмитрий Сергеевич

Применение квантовомеханических эффектов в системах защиты информации

16-10-2019 Матвеев Евгений Анатольевич

О некоторых разностных схемах для уравнений газовой динамики

16-10-2019 Ложников Михаил Андреевич

Характеристики перемешивания множествами преобразований входных данных итеративных алгоритмов в системах защиты информации

26-06-2019 Авезова Яна Эдуардовна

Численные методы решения некоторых задач механики жидкости со свободной границей

26-06-2019 Байков Никита Дмитриевич

Алгоритмы и защищённые системы биометрической аутентификации личности

06-06-2018 Поляков Андрей Владимирович

О сложности решения некоторых обобщений задачи дискретного логарифмирования

06-06-2018 Николаев Максим Владимирович

Характеристики локальной примитивности матриц и орграфов, определяющие свойства систем защиты информации

16-05-2018 Кяжин Сергей Николаевич

Оценки экспонентов перемешивающих орграфов регистровых преобразований, используемых в системах защиты информации

18-04-2018 Коренева Алиса Михайловна