Проекты:
К.т.н. Даниил Куц, Влада Логунова, Дарья Парыгина | Фаззинг (Sydr-fuzz) | — Интеграция Sydr с Centipede и StdFuzzer (LibAFL); — Исследование и разработка планировщика для направленного фаззинга для интеграции Sydr с StdFuzzer (LibAFL) | ||
| К.т.н. Даниил Куц, Влада Логунова, Дарья Парыгина | Динамическое символьное выполнение (Sydr) | — Применение компиляторных оптимизаций для упрощения формул (Triton). | ||
| К.т.н. Даниил Куц, Дарья Парыгина | Анализ аварийных завершений программы (Casr) | — Анализ и кластеризация аварийных завершений с помощью Casr |