Секция 4

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

Ведущие:

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

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

Доклады:

1. Падарян В.А., Тихонов А.Ю.
Институт системного программирования им. В.П. Иванникова Российской академии наук
ОТЕЧЕСТВЕННОЕ БЕЗОПАСНОЕ ПО: АКТУАЛЬНЫЕ ПРОБЛЕМЫ И ПУТИ РЕШЕНИЯ

2. Козачок А.В.
Академия ФСО России, г. Орел
О НЕКОТОРЫХ ПОДХОДАХ К ОЦЕНКЕ ПОВЕРХНОСТИ АТАКИ И ФАЗЗИНГУ ВЕБ-БРАУЗЕРОВ

3. Вишняков А.В., Кобрин И.А., Федотов А.Н.
Институт системного программирования им. В.П. Иванникова Российской академии наук
СИМВОЛЬНЫЕ ПРЕДИКАТЫ БЕЗОПАСНОСТИ В ГИБРИДНОМ ФАЗЗИНГЕ

4. Кубрин Г.С., Зегжда Д.П.
Институт кибербезопасности и защиты информации СПбПУ
ПОИСК УЯЗВИМОСТЕЙ НА ОСНОВЕ ПРИМЕНЕНИЯ ГЛУБОКИХ НЕЙРОННЫХ СЕТЕЙ К ГРАФОВОМУ ПРЕДСТАВЛЕНИЮ КОДА

16:30 – 16:45 Кофе-брейк


5. Куракин А.С.
ООО «Специальный Технологический Центр», Санкт-Петербург
ИНТЕЛЛЕКТУАЛЬНОЕ УПРАВЛЕНИЕ ГРУППОЙ БЕСПИЛОТНЫХ ЛЕТАТЕЛЬНЫХ АППАРАТОВ

6. Макаров А.С.
Институт кибербезопасности и защиты информации СПбПУ
ЗАЩИТА ВСТРАИВАЕМЫХ СИСТЕМ ОТ УГРОЗ БЕЗОПАСНОСТИ НА ОСНОВЕ ПОВЕДЕНЧЕСКОГО АНАЛИЗА АППАРАТНЫХ КОМПОНЕНТОВ

7. Шулепов А.А., Новикова Е.С.
СПб ФИЦ РАН
ВЫЯВЛЕНИЕ АНОМАЛИЙ В ПОТОКАХ ДАННЫХ ОТ СЕНСОРНЫХ СЕТЕЙ МЕТОДАМИ ВИЗУАЛЬНОГО АНАЛИЗА

8. Андрианов П.С.
Институт Системного Программирования РАН им. Иванникова, Москва
ПОИСК СОСТОЯНИЙ ГОНКИ В СИСТЕМНОМ ПРОГРАММНОМ ОБЕСПЕЧЕНИИ ПРИ ПОМОЩИ СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ