Москва, Россия
30.11 - 01.12.2017

Vinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.x

Организатор

ИСП РАН


При поддержке

IEEE

IEEE Computer Society

Российская академия наук

ФАНО

ФПИ

ФСТЭК России


Контакты

Тел: +7(495) 912-07-54

E-mail: isprasopen@ispras.ru

Технологии анализа, моделирования и трансформации программ

Мероприятие проводится по инициативе ИСП РАН и посвящено методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др. Вопросы, рассматриваемые в рамках данного мероприятия охватывают, но не ограничиваются следующими темами:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мы приглашаем исследователей присылать свои ранее не опубликованные и не представленные на других конференциях статьи по теоретическим и практическим работам по вышеперечисленным темам.

Для участия в конференции вам необходимо зарегистрироваться.