Дата и время проведения: 1 — 2 декабря 2016 г. (четверг — пятница)
Место проведения:
- Россия, Москва, Главное здание Российской академии наук, Ленинский проспект, дом 32А, "синий" зал
Организаторы:
- Институт системного программирования Российской академии наук
Конференция посвящена фундаментальным исследованиям ИСП РАН, технологиям и практическим разработкам, которые ранее были закрыты по соглашениям с заказчиками проектов. Участникам представят последние проекты по внедрению новых технологий в промышленность, реализованные совместно с зарубежными и российскими индустриальными партнерами.
Значительная часть передовых разработок ИСП РАН до этого была доступна только партнерам Института или частично показывалась на научных конференциях узкому кругу специалистов. Большое количество технологий Института первый раз соберут в одном месте и покажут широкой общественности с практической точки зрения, расскажут, как они применяются. В числе прочего институт представит результаты долгосрочного сотрудничества с крупнейшими мировыми компаниями или ведущими игроками в отдельных сегментах рынка. Инструменты, которые будут представлены на конференции, развивались в рамках долговременных партнерских проектов, на которые со времени создания нацелен ИСП РАН.
Основная тематика конференции связана с анализом программ, в первую очередь, в контексте обеспечения информационной безопасности: методы выявления дефектов в ПО на этапах разработки, обратная инженерия, выполнение программ в контролируемом окружении, выявление недокументированных возможностей и пр. Еще одна тема — автоматизация анализа больших данных: анализ контента, созданного пользователями сети Интернет, в том числе, социальных сетей, анализ естественных языков, методы машинного обучения и пр.
Среди разработок ИСП РАН, которые будут представлены на конференции:
· Svace — технология статического анализа для поиска дефектов в исходных текстах программы. Анализатор Svace стал стандартом де-факто для среды разработки ОС Tizen.
· Технология запутывания кода, препятствующая анализу и взлому программ. В числе прочего она используется для защиты программ от эксплуатации существующих в них уязвимостей. Отечественная компания ЗАО “МВП Свемел” внедряет ее для защиты доверенного ПО (ОС “Циркон”) в своих решениях информационной безопасности. Среди пользователей технологии — государственные структуры.
· Технологии анализа социальных сетей, в их число входят мониторинг информационных потоков, выявление первоисточников и распространителей, восстановление неполной или искаженной информации в профиле пользователя. Заказчики — несколько крупнейших международных телекоммуникационных компаний.
· Выявление дефектов в драйверах ОС Linux. Инициативный проект ИСП РАН в пользу всего международного сообщества Linux.
Конференция проводится при поддержке Российской академии наук, Федерального агентства научных организаций (ФАНО России), Российского фонда фундаментальных исследований (РФФИ), Федеральной службы по техническому и экспортному контролю (ФСТЭК России).
