Проекты:

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