Проекты:
- Инструмент ELF динамического анализа IoT-систем («интернета вещей») с поддержкой символьных вычислений (https://ispranproceedings.elpub.ru/jour/article/view/1553/1380, https://ispranproceedings.elpub.ru/jour/article/view/1458/0);
- Исследование корректности реализаций подсистем безопасности в операционных системах и иного системного программного обеспечения;
- Анализ подсистем управления доступом, аутентификации, аудита, дополнительных средств обеспечения безопасности;
- Разработка механизмов защиты и компенсирующих мер для выявленных уязвимостей операционных систем и иного системного программного обеспечения;
- Анализ корректности реализаций сетевых протоколов, мобильных приложений и т.п.;
- Практический аудит программного обеспечения, разработка частных методик анализа программного обеспечения на базе SDL-инструменов (статический анализ, фаззинг, поиск клонов и т.п.).