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