Дата и время проведения: 24.06.2025, 17:00 – 18:30

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

Ведущие:

Калинин М.О. – д.т.н., проф., Санкт-Петербургский политехнический университет Петра Великого

Козачок А.В. – д.т.н., Академия ФСО России, г. Орёл

Доклады:

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

2. Трифаленков И.А.
ООО «НеоБИТ», г. Санкт-Петербург
ДОВЕРЕННЫЕ ПАКИ КАК АЛЬТЕРНАТИВА ОБЛАЧНЫМ СЕРВИСАМ

3. Козачок А.В., Матовых С.С., Кузнецов Н.И.
Академия ФСО России, г. Орел
МОДЕЛЬ ФАЙЛОВ ФОРМАТА PE ДЛЯ ОБНАРУЖЕНИЯ ВРЕДОНОСНОГО КОДА НА ОСНОВЕ СТАТИЧЕСКОГО АНАЛИЗА

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

5. Меженева И.О.
ООО «ГАЗИНФОРМСЕРВИС» г. Санкт-Петербург
ГЕОМЕТРИЧЕСКИЕ МЕТОДЫ АНАЛИЗА ДАННЫХ В ЗАДАЧАХ ПОВЕДЕНЧЕСКОЙ АНАЛИТИКИ

6. Бушмелев А.С., Калинин М.О., Крундышев В.М.
Санкт-Петербургский политехнический университет Петра Великого
ВЕРИФИКАЦИЯ ТРАНЗАКЦИЙ В БЛОКЧЕЙН-СИСТЕМЕ, ОСНОВАННАЯ НА ПРИМЕНЕНИИ КОНСОРЦИУМ-ОРИЕНТИРОВАННЫХ ПРАВИЛ
* Исследование выполнено за счет гранта Российского научного фонда №24-11-20005, https://rscf.ru/project/24-11-20005/, грант Санкт-Петербургского научного фонда (договор №24-11-20005 о предоставлении регионального гранта).

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