Институт системного программирования РАН объявил, что сообщит о ранее неизвестных IT-разработках на конференции

    426

    Институт системного программирования Российской академии наук (ИСП РАН) 1-2 декабря проведет первую научно-практическую открытую конференцию, посвященную фундаментальным исследованиям ИСП РАН, технологиям и практическим разработкам, которые ранее были закрыты по соглашениям с заказчиками проектов, говорится в сообщении института.

    Участникам представят новые проекты промышленного внедрения технологий, выполненные совместно с зарубежными и российскими индустриальными партнерами.

    Некоторые передовые разработки ИСП РАН до этого были доступны только партнерам института или частично показывались на научных конференциях узкому кругу специалистов.

    Институт также представит результаты долгосрочного сотрудничества с крупнейшими мировыми компаниями и отечественными партнёрами.

    Основная тематика конференции связана с анализом программ, в первую очередь, для обеспечения информационной безопасности: методы выявления дефектов в ПО на этапах разработки, обратная инженерия, выполнение программ в контролируемом окружении, выявление недокументированных возможностей и пр. Еще одна тема –  автоматизация анализа «больших данных».

    Среди разработок ИСП РАН, которые будут представлены на конференции:

    • Svace – технология статического анализа для поиска дефектов в исходных текстах программы.  Анализатор Svace стал стандартом де-факто для среды разработки ОС Tizen. Он активно внедряется в Samsung. Это технология запутывания кода, препятствующая анализу и взлому программ. В числе прочего она используется для защиты программ от эксплуатации уязвимостей. Отечественная компания ЗАО «МВП Свемел» внедряет ее для защиты доверенного ПО (ОС «Циркон») в своих решениях информационной безопасности. Среди пользователей – государственные структуры.
    • Технологии анализа социальных сетей, в их число входят мониторинг информационных потоков, выявление первоисточников и распространителей, восстановление неполной или искаженной информации в профиле пользователя. Заказчики – несколько крупнейших международных телекоммуникационных компаний.
    • Выявление дефектов в драйверах ОС Linux – инициативный проект ИСП РАН в интересах Linux -сообщества.

    Конференция организована ИСП РАН в партнерстве с ассоциацией «Тайзен.Ру», компаниями Samsung, Huawei, Hewlett Packard Enterprise, DELL, NVIDIA.

    Проводится при поддержке Российской академии наук, Федерального агентства научных организаций (ФАНО России), Российского фонда фундаментальных исследований (РФФИ), Федеральной службы по техническому и экспортному контролю (ФСТЭК России).

    Дополнительная информация о конференции на официальном сайте.

    Справка

    Институт системного программирования Российской академии наук (ИСП РАН) – научно-исследовательская организация, специализирующаяся в области системного программирования. Институт разрабатывает технологии мирового уровня в таких областях, как операционные системы, компиляторные технологии, параллельные и распределенные вычисления, технологии верификации и тестирования программного обеспечения, анализ и обработка больших объемов данных, семантический поиск и др. Среди долговременных отечественных партнеров Института – ГосНИИАС, Вымпелком, Квант, Орион, среди зарубежных – Samsung, Huawei, Dell, HP, Intel, Nvidia, Rogue Wave, Linux Foundation. Со многими из них созданы совместные лаборатории.

    Одна из главных задач ИСП РАН – подготовка кадров высшей квалификации в сфере IT. На базе института функционируют собственная аспирантура и кафедры в МГУ, МФТИ и ВШЭ. Также ИСП РАН реализует совместные проекты с ведущими университетскими и исследовательскими центрами: Кембридж (Великобритания), Карнеги-Меллон (США), INRIA (Франция), Университет Пассау (Германия) и др.