Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 38: | Строка 38: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 31 марта 2017 г. |
| '''Распознавание вредоносных программ на основе их семантического анализа'''. | | '''Распознавание вредоносных программ на основе их семантического анализа'''. | ||
Версия 14:24, 29 марта 2017
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 17 марта 2017 г. ауд. 507 | Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада | Трубицын Ю.А. |
| Некоторые вопросы теории управляющих систем | ||
| 17 марта 2017 г. ауд. 582а | Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада | Козловский А.Н. |
| Сложность решения дискретных задач | ||
| Теоретические проблемы программирования | ||
| 31 марта 2017 г. | Распознавание вредоносных программ на основе их семантического анализа.
Доклад по статье M.Christodorescu et al. "Semantics-aware malware detection" Вирусы разрабатываются так, чтобы существовать во множестве вариантов, препятствующих их обнаружению в коде зараженного файла по какой-то конкретной последовательности байт. В статье предлагается искать вирус по шаблонам моделирующим некоторое характерное для вирусов поведение. Показано что задача проверки совпадения такого шаблона в общем случае неразрешима. Предложен и программно реализован алгоритм успешно обнаруживающий некоторые семейства вирусов. |
М.Аббас, П.Булгаков
|
