Проекты:

– Исследование корректности реализаций подсистем безопасности в операционных системах семейств Windows и Linux, а также системного программного обеспечения, предназначенного для выполнения под их управлением;

– Обнаружение типовых уязвимостей в реализациях подсистем управления доступом, аутентификации, аудита, дополнительных средствах обеспечения безопасности;

– Разработка рекомендаций к усилению защищенности операционных систем и системного программного обеспечения на основании обнаруженных уязвимостей;

– Исследование корректности реализаций сетевых протоколов, мобильных приложений и т.п.;

– Разработка методик анализа безопасности телекоммуникационного оборудования и встраиваемых систем (интернет вещей);

– Разработка методик применения к решению конкретных практических задач современных средств и методов анализа бинарного программного кода (статический анализ, фаззинг, поиск клонов и т.п.).