Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 39: Строка 39:
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
{{announce Seminar| 24 марта 2017 г.
 
{{announce Seminar| 24 марта 2017 г.
| '''Механизация минимизации детерминированных обобщенных автоматов Бюхи'''.
+
| '''Распознавание вредоносных программ на основе их семантического анализа'''.
  
Доклад по статье S. Baarir, A. Duret-Lutz “Mechanizing the Minimization of Deterministic Generalized Büchi Automata”
+
Доклад по статье M.Christodorescu et al. "Semantics-aware malware detection"
  
Рассматриваются методы получения и минимизации детерминированных автоматов Бюхи для разных классов свойств. Метод минимизации сводится к задаче выполнимости булевых формул. Представляются тесты, которые реализуют все эти методы.
+
Вирусы разрабатываются так, чтобы существовать во множестве вариантов, препятствующих их обнаружению в коде зараженного файла по какой-то конкретной последовательности байт. В статье предлагается искать вирус по шаблонам моделирующим некоторое характерное для вирусов поведение. Показано что задача проверки совпадения такого шаблона в общем случае неразрешима. Предложен и программно реализован алгоритм успешно обнаруживающий некоторые семейства вирусов.
| З. Джусупекова, Г. Темербекова }}
+
| М.Аббас, П.Булгаков }}
  
  

Версия 14:24, 29 марта 2017

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
17 марта 2017 г. ауд. 507 Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада Трубицын Ю.А.
Некоторые вопросы теории управляющих систем
17 марта 2017 г. ауд. 582а Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада Козловский А.Н.
Сложность решения дискретных задач
Теоретические проблемы программирования
24 марта 2017 г. Распознавание вредоносных программ на основе их семантического анализа.

Доклад по статье M.Christodorescu et al. "Semantics-aware malware detection"

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

М.Аббас, П.Булгаков