Секция 3

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

Ведущие:

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

Павленко Е.Ю. – к.т.н., Санкт-Петербургский политехнический университет Петра Великого (СПбПУ)

Доклады:

1. Полтавцева М.А.
Санкт-Петербургский политехнический университет Петра Великого (СПбПУ)
БЕЗОПАСНОСТЬ ПОЛИ-БАЗ ДАННЫХ В СИСТЕМАХ УПРАВЛЕНИЯ БОЛЬШИМИ ДАННЫМИ
Исследование выполнено за счет гранта Российского научного фонда № 23-11-20003, https://rscf.ru/project/23-11-20003/ Грант Санкт-Петербургского научного фонда (Соглашение №23-11-20003 о предоставлении регионального гранта)

2. Полтавцева М.А., Зегжда Д.П., Калинин М.О.
Санкт-Петербургский политехнический университет Петра Великого (СПбПУ)
РОЛЬ УНИВЕРСАЛЬНОЙ МОДЕЛИ ГЕТЕРОГЕННЫХ ДАННЫХ В БЕЗОПАСНОСТИ СИСТЕМ УПРАВЛЕНИЯ БОЛЬШИМИ ДАННЫМИ
Исследование выполнено за счет гранта Российского научного фонда № 23-11-20003, https://rscf.ru/project/23-11-20003/ Грант Санкт-Петербургского научного фонда (Соглашение №23-11-20003 о предоставлении регионального гранта)

3. Козачок А. В., Ерохина Н. С.
Академия ФСО России, г. Орёл
ГЕНЕРАЦИЯ СЕМАНТИЧЕСКИ КОРРЕКТНОГО JAVASCRIPT-КОДА ДЛЯ ФАЗЗИНГ-ТЕСТИРОВАНИЯ ДВИЖКОВ БРАУЗЕРОВ

11:30 – 12:00 Кофе-брейк


4. Суховерхов А.С., Шаров И.А.
ФАУ «ГНИИИ ПТЗИ ФСТЭК России», г. Воронеж
ПРИМЕНЕНИЕ БАНКА ДАННЫХ УГРОЗ БЕЗОПАСНОСТИ ИНФОРМАЦИИ ДЛЯ ОЦЕНКИ ЗАЩИЩЕННОСТИ ИНФОРМАЦИОННЫХ СИСТЕМ

5. Руссу В.Ю., Бирюков Д.Н.
Военно-космическая академия им. А.Ф. Можайского, г. Санкт-Петербург
ПОДХОД К АВТОМАТИЗАЦИИ ПОИСКА УЯЗВИМОСТЕЙ В ПРОШИВКАХ ТЕЛЕКОММУНИКАЦИОННЫХ УСТРОЙСТВ В УСЛОВИЯХ АПРИОРНОЙ НЕОПРЕДЕЛЕННОСТИ

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

7. Шаваньгин И.М.
ООО «СЛ Технологии»
ПОДХОД К РАЗРАБОТКЕ БЕЗОПАСНОГО ПО ДЛЯ СИСТЕМ ВИДЕОНАБЛЮДЕНИЯ

8. Павленко Е.Ю.
Санкт-Петербургский политехнический университет Петра Великого (СПбПУ)
ОПРЕДЕЛЕНИЕ СТРУКТУРНЫХ И ПАРАМЕТРИЧЕСКИХ МЕТРИК, ЧУВСТВИТЕЛЬНЫХ К АТАКАМ НА ДИНАМИЧЕСКИЕ СЕТИ Исследование выполнено за счет гранта Российского научного фонда № 22-21-20008, https://rscf.ru/project/22-21-20008/. Исследование выполнено за счет гранта Санкт-Петербургского научного фонда в соответствии с соглашением от «15» апреля 2022 г. № 61/220.

14:00 – 15:00 Обед