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

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