Проекты:

Денис Стражков, Григорий ИвановBinSide: статический анализ бинарного кода– Поиск ошибок в бинарном коде программ, которые могут привести к выполнению произвольного кода;
– Автоматизированный межпроцедурный анализ бинарного кода.
Анализ встраиваемого ПО– Разработка методов динамического анализа на основе частичной эмуляции оборудования;
– Автоматизация разметки программного кода при отсутствии отладочной информации.
Автоматизация обратной инженерии– Разработка технологий поиска схожего функционала в бинарном коде для облегчения задач обратной инженерии;
– Разработка методов анализа исправлений программ и использование полученной информации для поиска ошибок;
– Методы определения авторской принадлежности бинарного кода;
– Исследование и разработка методов поиска функционально-эквивалентных участков исполняемого кода с использованием алгоритмов машинного обучения.
Максим Мишечкин, Виталий АкользинИсследование и разработка методов фаззинга программ– Исследование методов повышения эффективности распределенного фаззинг-тестирования;
– Исследование и разработка методов поиска ошибок на базе динамической бинарной инструментации;
– Применение методов оптимизации для повышения эффективности фаззинга;
– Исследование и разработка методов комбинации статического и динамического анализа;
– Исследование и реализация методов фаззинга устройств интернета вещей;
– Исследование и разработка методов применения фаззинг-тестирования ядра ОС;
– Разработка программного компонента, позволяющего восстанавливать формальные грамматики по корпусу входных данных;
– Исследование и разработка методов фаззинг-тестирования сетевых протоколов;
– Исследование и разработка методов осуществления удаленной инструментации для фаззинга встраиваемого ПО;
– Разработка инструмента динамического отображения покрытия при фаззинг-тестировании программы;
– Исследование и разработка методов применения нейронных сетей для повышения эффективности фаззинг-тестирования.
К.т.н. Андрей Федотов, Алексей Вишняков,
Даниил Куц
Оценка критичности (возможности перехвата потока управления программы) ошибок– Оценка критичности аварийных завершений методами символьного выполнения;
– Автоматическое формирование отчетов о критичности аварийных завершений, возникающих во время эксплуатации и тестирования ПО (разработка инструмента Casr).
Разработка инструмента динамического символьного выполнения Sydr– Исследование и разработка методов автоматического обнаружения программных дефектов;
– Исследование и разработка методов моделирования обращений к памяти при символьной интерпретации;
– Исследование и разработка методов повышения эффективности фаззинга с использованием динамического символьного выполнения;
– Разработка символьных трансляций для новых архитектур набора команд.
Чан Ти ТхиенАвтоматическая генерация фаззинг-тестов– Исследование и разработка методов статического анализа для формирования правильного контекста вызова целевой функции;
– Исследование и разработка методов эффективной генерации значений параметров функции для поиска ошибок;
– Исследование и разработка методов анализа типичных вариантов использования библиотечных функций.