Дата и время проведения: 25.06.2024, 15:00 – 19:00
АКТУАЛЬНЫЕ МЕТОДЫ АНАЛИЗА БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Ведущие:
Козачок А.В. – д.т.н., Академия ФСО России, г. Орел
Павленко Е.Ю. – к.т.н, Санкт-Петербургский политехнический университет Петра Великого (СПбПУ)
Доклады:
1. Бычков И.В., Хмельнов А.Е.
ИДСТУ СО РАН, Иркутск
ИСПОЛЬЗОВАНИЕ СПЕЦИФИКАЦИЙ БИНАРНЫХ ФОРМАТОВ ДАННЫХ НА ЯЗЫКЕ FLEXT ДЛЯ ИССЛЕДОВАНИЯ СОДЕРЖИМОГО БИНАРНЫХ ФАЙЛОВ, ВКЛЮЧАЯ ИСПОЛНЯЕМЫЕ И ОБЪЕКТНЫЕ
2. Марков А.С.
НПО «Эшелон»
СОВРЕМЕННЫЕ РЕШЕНИЯ ПО ВЫЯВЛЕНИЮ И УПРАВЛЕНИЮ УЯЗВИМОСТЯМИ
3. Гойденко Д.
АО «Позитив текнолоджиз»
МЕТОДЫ РЕТРОСПЕКТИВНОГО ДЕТЕКТИРОВАНИЯ ВРЕДОНОСНОЙ АКТИВНОСТИ В ИНФОРМАЦИОННЫХ СИСТЕМАХ
4. Козачок А.В., Ерохина Н.С.
Академия ФСО России, г. Орел
МЕТОД ГЕНЕРАЦИИ СЕМАНТИЧЕСКИ КОРРЕКТНОГО КОДА ДЛЯ ФАЗЗИНГ-ТЕСТИРОВАНИЯ JAVASCRIPT-ИНТЕРПРЕТАТОРОВ НА ОСНОВЕ МУТАЦИИ АСД ФРАГМЕНТОВ КОДА
5. Ефремов С.В., Гетьман А.И., Мирошниченко К.М.
Институт системного программирования им. В.П. Иванникова РАН, г. Москва
АВТОМАТИЗАЦИЯ РЕШЕНИЯ ПРИКЛАДНЫХ ЗАДАЧ НА ОСНОВЕ ПРИМЕНЕНИЯ ДИНАМИЧЕСКОГО АНАЛИЗА БИНАРНОГО КОДА
6. Егоров Д.И., Падарян В.А.
Институт системного программирования им. В.П. Иванникова РАН, Москва
ПОВЕРХНОСТЬ АТАКИ ПО, ТЕХНОЛОГИИ АНАЛИЗА И НОРМАТИВНЫЕ ТРЕБОВАНИЯ
7. Грибков Н.А., Калинин М.О., Овасапян Т.Д.
Санкт-Петербургский политехнический университет Петра Великого
ПОИСК ЗАИМСТВОВАННЫХ ФРАГМЕНТОВ ПРОГРАММНОГО КОДА НА ОСНОВЕ ГИБРИДНЫХ СИГНАТУР
8. Кубрин Г.С., Зегжда Д.П.
Санкт-Петербургский политехнический университет Петра Великого
ВЫЯВЛЕНИЯ УЯЗВИМОСТЕЙ В МНОГОКОМПОНЕНТНОМ ПРОГРАММНОМ ОБЕСПЕЧЕНИИ МЕТОДАМИ КРОССЯЗЫКОВОГО СТАТИЧЕСКОГО АНАЛИЗА НА БАЗЕ УНИВЕРСАЛЬНОГО ГРАФОВОГО ПРЕДСТАВЛЕНИЯ КОДА
9. Гололобов Н.В., Кучиев Г.М.
Санкт-Петербургский политехнический университет Петра Великого
МОРФИНГ ИСПОЛНЯЕМОГО ПРОГРАММНОГО КОДА В ПАМЯТИ ДЛЯ ЗАЩИТЫ ОТ ВОЗВРАТНО-ОРИЕНТИРОВАННОГО ПРОГРАММИРОВАНИЯ
10. Балябин А.А.
АО «Технологии радиоконтроля», г. Санкт-Петербург
МЕТОДИКА ВЫЯВЛЕНИЯ И НЕЙТРАЛИЗАЦИИ ИНФОРМАЦИОННО-ТЕХНИЧЕСКИХ ВОЗДЕЙСТВИЙ ДЛЯ КИБЕРИММУННЫХ ОПЕРАЦИОННЫХ СИСТЕМ
11. Бусыгин А.Г., Калинин М.О.
Санкт-Петербургский политехнический университет Петра Великого
ОСОБЕННОСТИ ПРИМЕНЕНИЯ ТЕХНОЛОГИИ РАСПРЕДЕЛЕННОГО РЕЕСТРА ДЛЯ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ ИНФОРМАЦИОННЫХ СИСТЕМ «УМНОГО ГОРОДА»
Исследование выполнено за счет гранта Российского научного фонда №24-11-20005, https://rscf.ru/project/24-11-20005/, грант Санкт-Петербургского научного фонда (договор №24-11-20005 о предоставлении регионального гранта)
12. Бусыгин А.Г., Калинин М.О., Коноплев А.С., Крундышев В.М.
Санкт-Петербургский политехнический университет Петра Великого
ПОДХОДЫ К РЕШЕНИЮ АКТУАЛЬНЫХ ПРОБЛЕМ ПРИМЕНЕНИЯ СИСТЕМ РАСПРЕДЕЛЕННОГО РЕЕСТРА В КИБЕРСРЕДЕ УМНОГО ГОРОДА (SMART CITY)
Исследование выполнено за счет гранта Российского научного фонда №24-11-20005, https://rscf.ru/project/24-11-20005/, грант Санкт-Петербургского научного фонда (договор №24-11-20005 о предоставлении регионального гранта)