Дата и время проведения: 25.06.2026, 12:00 – 14:00

АКТУАЛЬНЫЕ МЕТОДЫ АНАЛИЗА БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Ведущие:

Марков А.С. – д.т.н., проф., МГТУ им. Баумана, АО НПО «Эшелон», Москва

Овасапян Т.Д. – к.т.н., доцент, Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург

Доклады:

1. Марков А.С.
АО НПО «Эшелон», Москва
АКТУАЛЬНЫЕ ВОПРОСЫ РАЗРАБОТКИ БЕЗОПАСНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

2. Игнатьев В.Н., Шимчик Н.В.
Институт системного программирования им. В.П. Иванникова РАН, Москва
Московский государственный университет имени М.В. Ломоносова, Москва
ПРИМЕНЕНИЕ БОЛЬШИХ ЯЗЫКОВЫХ МОДЕЛЕЙ В СТАТИЧЕСКОМ АНАЛИЗЕ КОДА

3. Гололобов Н.В.
Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург
ФОРМАЛЬНАЯ МОДЕЛЬ ИСПОЛНЯЕМОГО КОДА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ОСНОВЕ ГРАФА ИСПОЛНЕНИЯ ДЛЯ РЕШЕНИЯ ЗАДАЧИ БИНАРНОГО МОРФИНГА

4. Грибков Н.А., Калинин М.О.
Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург
КОМПОЗИЦИОННЫЙ АНАЛИЗ ПРОГРАММНОГО КОДА НА ОСНОВЕ СОПОСТАВЛЕНИЯ СЕМАНТИЧЕСКИХ СИГНАТУР

5. Кубрин Г.С., Зегжда Д.П., Иванов Д.В.
Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург
ВЫЯВЛЕНИЕ КОМПЛЕКСНЫХ УЯЗВИМОСТЕЙ В ПРОГРАММНОМ ОБЕСПЕЧЕНИИ НА БАЗЕ АНАЛИЗА ГРАФОВЫХ ПРЕДСТАВЛЕНИЙ КОДА

6. Зубков Е.А., Овасапян Т.Д., Зегжда Д.П.
Санкт-Петербургский политехнический университет Петра Великого, Санкт-Петербург
МЕТОД ОЦЕНКИ УСТОЙЧИВОСТИ КФС, ОСНОВАННЫЙ НА МЕТОДИКЕ ОЦЕНКИ ЗАЩИЩЕННОСТИ ПО, В ОТНОШЕНИИ ЦЕЛЕНАПРАВЛЕННЫХ АТАК