Защита и анализ ПО

• Статический анализатор для распознавания массивов в С-программах для задач фаззинга
  Д.В. Кознов, Д.А. Усачев
  Труды ИСП РАН, том 38, вып. 3, часть 2, 2026 г.

• Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных
  М.В. Беляев, П.И. Рагозина, В.Н. Игнатьев
  Труды ИСП РАН, том 38, вып. 1, 2026 г.

• Подход к анализу помеченных данных в статическом анализаторе Svace
  И.С. Черемисенов, А.Е. Бородин, А.Е. Волков, М.В. Великанов
  Труды ИСП РАН, том 37, вып. 6, часть 4, 2025 г.

• Адаптация алгоритма ThreadSanitizer для обнаружения гонок по данным в ядре ОСРВ
  Е.С. Ельчинов
  Труды ИСП РАН, том 37, вып. 6, часть 3, 2025 г.

• Статический анализ языка Visual Basic .NET
  В.С. Карцев, В.Н. Игнатьев
  Труды ИСП РАН, том 37, вып. 6, часть 2, 2025 г.

• Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом
  П.Н. Девянин, С.С. Жиляков, А.И. Смирнов
  Труды ИСП РАН, том 37, вып. 6, часть 2, 2025 г.

• Повышение точности статического анализа кода при помощи больших языковых моделей
  Д.Д. Панов, Н.В. Шимчик, Д.А. Чибисов, А.А. Белеванцев, В.Н. Игнатьев
  Труды ИСП РАН, том 37, вып. 6, часть 1, 2025 г.

• О некоторых задачах обратной инженерии
  К.Н. Долгова, А.В. Чернов
  Труды Института системного программирования РАН

• Оценка эффективности систем защиты программного обеспечения
  Середа С.А. , Движение ПОтребитель

• Этапы преодоления систем защиты программного обеспечения
  Середа С.А. , Движение ПОтребитель

• Поиск и анализ "троянских коней" под UNIX
  Security papers, перевод: Василий Кондрашов