👨‍💻Завершен второй день открытой конференции ИСП РАН

Мы рады сообщить, что за два дня мероприятие посетило 2000 человек — исследователи, студенты, представители индустрии и госструктур.

👍От души благодарим всех, кто пришел лично и принял участие в сессиях, а также тех, кто присоединился к нам онлайн и смотрел трансляцию.

👍Проведённые дискуссии, представленные доклады и живое общение на конференции подтвердили: интерес к развитию системного программирования и ИТ-технологий очень высок и будет расти дальше!

🟠 Подписаться на ИСП РАН

👨‍💻Арутюн Аветисян в «Лицах Data Fusion» — о надежности ИИ и цифрового контента

Директор ИСП РАН, академик РАН Арутюн Ишханович Аветисян стал героем специальной серии подкаста «Деньги любят техно» — «Лица Data Fusion».

Ключевые темы выпуска:
👍Доверенные вычисления
👍Методы обеспечения надежности цифрового контента
👍Развитие ИИ и его внедрение в промышленность
👍Перспективы трансфера научных технологий в экономику

Подкаст выпускается Банком ВТБ. Его ведущий — Денис Суржко, заместитель руководителя Департамента анализа данных и моделирования, вице-президент Банка ВТБ.

📺Смотреть выпуск
🎵Слушать выпуск

🟠Подписаться на ИСП РАН

👨‍💻Встреча с представителями Технологического университета Цилу в ИСП РАН

11 декабря 2025 года в Институте системного программирования им. В. П. Иванникова РАН состоялась встреча директора ИСП РАН, академика РАН Арутюна Ишхановича Аветисяна с делегацией Технологического университета Цилу (Академия наук провинции Шаньдун, КНР). В состав делегации вошли руководители университета и профильных факультетов, включая секретаря партийного комитета университета У Яньтао.

👍Стороны обсудили перспективы развития сотрудничества в области фундаментальной и прикладной науки, а также возможности взаимодействия с национальным суперкомпьютерным центром в Цзинане.

Арутюн Аветисян:

Вчера мы в торжественной обстановке открыли совместную лабораторию.
Наши отношения основываются не только на науке или бизнесе, но это отношения двух великих соседей. Наши лидеры обозначили стратегическую важность сотрудничества, что налагает особую ответственность на науку. Институт основывается на фундаментальной научной школе академиков Лебедева и Иванникова, которую можно проследить до 1948 года, начала советского и русского IT, 70-летие которого мы недавно праздновали и которое было международно признано организацией IEEE в ходе визита в Москву в 2018 году. Модель инноваций через индустрию, которую мы воплощаем в жизнь все эти годы, служит надежной основой для взаимовыгодного сотрудничества по линиям науки, образования, создания технологий. Примером такого сотрудничества является работа с институтом Гамалеи по созданию персонализированных вакцин и лекарств, в том числе в онкологии.

У Яньтао:

Мы ведем сотрудничество с институтом в рамках стратегического партнерства Китая и России. Во времена быстрых изменений мирового масштаба это сотрудничество очень важно, особенно по научной линии, а также в области индустрии и подготовки специалистов. Надежной основой для партнерства являются давние дружеские и культурные связи между нашими странами.
Наша провинция Шаньду — крупнейшая провинция на севере Китая по экономике, а также по сотрудничеству с Россией. Это сотрудничество поддерживается в провинции на государственном уровне. Ключевым направлением нашей академии наук является искусственный интеллект. Работы ведутся важнейшими национальными лабораториями, в том числе национальным суперкомпьютерным центром в Цзинане. Они обладают существенными вычислительными мощностями. Мы работаем для покрытия прикладных потребностей индустрии, и сотрудничество с фундаментальной наукой в лице вашего института было бы очень эффективным и выгодным для обеих сторон. Наш университет работает по похожей модели, объединяя образование, науку и индустрию. Это дает уверенность в успехе нашего сотрудничества.
Базой для совместной работы может служить национальный суперкомпьютерный центр. Мы запускаем создание нового суперкомпьютера и хотели бы пригласить вас принять участие. Другим важным направлением является объединение фундаментальной науки и сценариев использования в конкретных прикладных областях с нашей стороны, выполнение проектов по запросам заказчиков. Третье направление — совместная подготовка талантов, обмен аспирантами и докторантами для стажировки и работы в научных проектах. Эта практика с большим успехом осуществляется с советских времен.
Приглашаем вас в гости для проработки конкретных направлений научного сотрудничества. У нас говорят — хороших друзей не разделить ни горой, ни морем.

Арутюн Аветисян:

Одним из вкладов в нашу совместную деятельность может являться развитие платформы доверенного искусственного интеллекта института. Нам также интересно сотрудничество по линии суперкомпьютера, развивая наш многолетний опыт по распределённым и параллельным вычислениям. В работе над конкретными проектами для нужд индустрии мы готовы участвовать в подготовке технических заданий и работе с учетом наших фундаментальных научных результатов. Мы также готовы принимать участие в обмене специалистами для подготовки талантов. Наилучшие результаты достигаются при участии специалистов в конкретных проектах.

👨‍💻 Платформа CodeScoring представила проверку достижимости уязвимостей в сторонних компонентах. В ее основе — построение графа вызовов от ИСП РАН

В платформе CodeScoring реализована технология анализа достижимости уязвимостей в сторонних (в том числе транзитивных) компонентах. Новый механизм позволяет определить не просто наличие известной уязвимости в библиотеке, а ее реальную эксплуатируемость — то есть существует ли в конкретном проекте цепочка вызовов, через которую уязвимость может быть использована.

➡️Ключевая технологическая основа решения — построение точного графа вызовов программы, разработанное на базе научных методов Института системного программирования им. В. П. Иванникова РАН. Граф вызовов отражает связи между методами и функциями внутри приложения и позволяет сопоставить реальные пути исполнения кода с шаблонами эксплуатации известных уязвимостей.

➡️Алгоритм работы выглядит следующим образом: сначала по исходному коду проекта строится граф вызовов, затем он сопоставляется с базой знаний об уязвимостях и характерных для них сценариях эксплуатации. В результате пользователь получает список достижимых уязвимостей и соответствующие цепочки вызовов, что позволяет существенно повысить точность приоритизации и сократить объем ручного анализа. Решение уже поддерживает проекты на языках Java, Go и Python, ведется расширение на другие популярные языки.

Как отметил директор ИСП РАН, академик РАН Арутюн Ишханович Аветисян:

«Граф вызовов программы выявляет связи ее методов между собой. Точное построение такого графа — нетривиальная задача, которая требует глубокого анализа кода на основе фундаментальных научных технологий. В их число входят анализы указателей и виртуальных методов, широко использующихся в современных языках программирования. А для компилируемых языков необходима технология перехвата сборки. Все эти методы анализа мы развиваем в рамках статического анализатора Svace, поэтому наши специалисты смогли в сжатые сроки доработать их и выделить как отдельный компонент для использования в CodeScoring.SCA. Мы рады, что с выходом этой совместной технологии наше сотрудничество с давними друзьями из CodeScoring вышло на новый уровень».

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

🟠Подписаться на ИСП РАН