Открытая конференция ИСП РАН 2016

Мероприятия Открытой конференции ИСП РАН

  1. Технологии анализа, моделирования и трансформации программ.
  2. Информационные системы на основе открытых данных.
  3. Распределенные системы.
  4. Решение задач механики сплошных сред с использованием СПО.

Даты: с 5 по 9 декабря 2016 года.

Сайт: http://www.isprasopen.ru/

Вопросы, рассматриваемые в рамках мероприятия Технологии анализа, моделирования и трансформации программ охватывают, но не ограничиваются следующими темами:

1. Обратная инженерия бинарного (исполняемого) кода

  • Методы и технологии восстановления алгоритмов;
  • Анализ исполняемого кода встроенного ПО, кода операционных систем и BIOS;
  • Анализ системного ПО и приложений мобильных платформ;
  • Технологии декомпиляции;
  • Практика применения инструментов обратной инженерии.

2. Выполнение программ в контролируемом окружении

  • Программные эмуляторы: перспективные направления развития;
  • Программно-аппаратные средства виртуализации, отладки, трассировки;
  • Технологии онлайн анализа исполняемого кода.

3. Поиск ошибок и уязвимостей в исполняемом коде

  • Статические и динамические методы поиска ошибок в бинарном коде;
  • Целенаправленный фаззинг, символьное выполнение бинарного кода;
  • Эффективные SMT-решатели;
  • Формализация нарушений безопасности на уровне бинарного кода.

4. Анализ сетевого трафика

  • Глубокий анализ контента, методы и технические средства;
  • Обратная инженерия протоколов;
  • Инфраструктура программных средств анализа сетевого трафика.

5. Оптимизации в компиляторе и генерация кода

  • Оптимизации для статических и динамических языков;
  • Оптимизации для улучшения производительности, размера кода и энергопотребления;
  • Оптимизации, основанные на использовании профиля программы, а также техник машинного обучения;
  • Внутреннее представление программ и уровни абстракции, используемые в компиляторе.

6. Статический и динамический анализ программ

  • Техники профилирования и инструментирования кода;
  • Статические оптимизации, а также оптимизации с использованием профиля;
  • Инструменты для анализа энергопотребления, производительности, а также для отладки и тестирования.

7. Методы и инструменты анализа и тестирования программ

  • Извлечение, анализ и моделирование требований;
  • Парадигмы моделирования вычислительных систем;
  • Методы проектирования систем;
  • Архитектуры программных систем;
  • Динамическая верификация и мониторинг;
  • Автоматизация построения тестов;
  • Анализ полноты тестирования;
  • Моделирование, измерение и тестирование производительности;
  • Анализ защищенности и безопасности вычислительных систем;
  • Интеграция различных методов верификации;
  • Проблемы внедрения новых технологий в практику разработки;
  • Вопросы обучения технологиям разработки и анализа программ.

8. Запутывание программ (обфускация)

  • Технологии обфускации;
  • Технологии деобфускации;
  • Применение технологий обфускации для решения различных прикладных задач (водяные знаки, диверсификация кода, защита от обратной инженерии и др.).