Проекты:

К.ф.-м.н. Михаил СоловьёвАбстрактная интерпретация бинарного кода– Инфраструктура абстрактной интерпретации;
– Средства ускоренной поддержки различных архитектур систем команд процессоров;
– Формализация отдельных задач анализа бинарного кода как задач абстрактной интерпретации, их реализация (в частности анализ помеченных данных, символьное исполнение).
К.т.н. Вадим Каушан, Максим БакулинКонтролируемое выполнение программТрассировка выполнения программ:
– трассировка на базе средств аппаратной отладки;
– полносистемное детерминированное воспроизведение и сбор трасс выполнения с использованием механизмов аппаратной виртуализации;
– трассировка пользовательского кода и методы анализа трасс приложений.

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