Жизненный цикл разработки защищенных систем на основе встроенных устройств
Дмитрий Сергеевич Левшун,
Андрей Алексеевич Чечулин,
Игорь Витальевич Котенко
Автоматизация генерации описания графо-аналитической модели программы
Анатолий Геннадьевич Зыков,
Илья Владимирович Кочетков,
Евгений Геннадьевич Чистиков,
Виктор Григорьевич Швед
Порождение сценариев предупреждения компьютерных атак
Денис Николаевич Бирюков,
Александр Григорьевич Ломако,
Сергей Анатольевич Петренко