Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 39: | Строка 39: | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
{{announce Seminar| 24 марта 2017 г. | {{announce Seminar| 24 марта 2017 г. | ||
| − | | ''' | + | | '''Распознавание вредоносных программ на основе их семантического анализа'''. |
| − | Доклад по статье | + | Доклад по статье 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" Вирусы разрабатываются так, чтобы существовать во множестве вариантов, препятствующих их обнаружению в коде зараженного файла по какой-то конкретной последовательности байт. В статье предлагается искать вирус по шаблонам моделирующим некоторое характерное для вирусов поведение. Показано что задача проверки совпадения такого шаблона в общем случае неразрешима. Предложен и программно реализован алгоритм успешно обнаруживающий некоторые семейства вирусов. |
М.Аббас, П.Булгаков
|
