Главная страница « Научно-исследовательский семинар « 2003 «

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

Предлагается новая методика маскировки программ и доказывается ее устойчивость к различным методам семантического анализа (выявление избыточного и мертвого кода, слайсинг и др.).

Представляется интегрированная среда (ИС) для изучения методов маскировки программ. ИС строится вокруг единого внутреннего представления программ MIF. Среда содержит статические, динамические и статистические анализаторы программ, преобразователи программ и генераторы представлений программ.

На примере двух конкретных методов маскировки демонстрируются возможности среды по обоснованию таких методов и разработке атак.

Приглашаются аспиранты и стажеры программистских кафедр.