Проекты:

К.ф.-м.н. Михаил Соловьёв	Абстрактная интерпретация бинарного кода	— Инфраструктура абстрактной интерпретации; — Средства ускоренной поддержки различных архитектур систем команд процессоров; — Формализация отдельных задач анализа бинарного кода как задач абстрактной интерпретации, их реализация (в частности анализ помеченных данных, символьное исполнение).
	Контролируемое выполнение программ	Трассировка выполнения программ: — трассировка на базе средств аппаратной отладки; — полносистемное детерминированное воспроизведение и сбор трасс выполнения с использованием механизмов аппаратной виртуализации; — трассировка пользовательского кода и методы анализа трасс приложений. Полносистемный динамический анализ помеченных данных.
К.ф.-м.н. Михаил Соловьёв, к.ф.-м.н. Александр Бугеря, к.т.н. Иван Кулагин	Восстановление алгоритмов по бинарному коду	— Методы высокоуровневого представления алгоритмов, реализованных в бинарном коде, в виде графических схем потоков данных; — Автоматизация обнаружения некорректной обработки чувствительных данных в рамках заданных сценариев работы (при полносистемном анализе и анализе пользовательского кода); — Анализ помеченных данных по трассам выполнения; — Совместная визуализация статического представления бинарного кода и трасс выполнения; — Комбинированные методы анализа и интеграция со сторонними инструментами анализа бинарного кода (IDA Pro, Radare2/Cutter, RetDec, Snowman, Asm2Vec, AFL и др.); — Задача распространения высокоуровневых типов данных по потокам данных уровня машинных команд; — Восстановление высокоуровневых событий, построение на их основе временны́х диаграмм и поведенческих сигнатур; — Анализ трасс выполнения многоядерных процессоров; — Восстановление архитектуры программ методами кластеризации; — Дифференциальный анализ трасс.