Проекты:

К.т.н. Андрей Федотов,
к.ф.-м.н. Алексей Вишняков,
Даниил Куц, Влада Логунова, Илай Кобрин		Фаззинг (Sydr-fuzz)— Интеграция Sydr с Centipede и StdFuzzer (libAFL);
— Исследование и разработка фаззинга и динамического анализа для архитектуры RISC-V;
— Фаззинг Java приложений;
— Фаззинг JavaScript приложений;
— Фаззинг C# приложений.
К.т.н. Андрей Федотов,
к.ф.-м.н. Алексей Вишняков,
Даниил Куц, Влада Логунова, Илай Кобрин		Динамическое символьное выполнение (Sydr)— Разработка символьного выполнения для архитектуры RISC-V;
— Разработка символьных предикатов безопасности для обнаружения ошибок command injection и format string;
— Применение компиляторных оптимизаций для упрощения формул (Triton).
К.т.н. Андрей ФедотовАнализ аварийных завершений программы (Casr)— Анализ и кластеризация аварийных завершений от интерпретируемых языков Java/C#/JavaScript.