Безопасность ПО

Материалы проекта ЦИТадель (новые публикации — в начале списка)

Маршрут последовательного чтения: 1. цепочка поставок ПО → 2. аутентификация и авторизация → 3. веб-безопасность.

• Веб-безопасность для разработчика — инъекции, XSS, CSP, CSRF, куки и границы доверия.
• Аутентификация и авторизация: кто ты и что тебе можно — факторы, хранение паролей, passkeys, сессии, токены, OAuth, OIDC и модели прав.
• Цепочка поставок ПО: доверие к чужому коду — зависимости, сборка, подписи, происхождение артефактов и SBOM.

Другие статьи

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

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

• AnAT: состязательное дообучение с использованием якорей для метрик оценки качества изображений
  А.Е. Гущин, А.В. Анциферова, Д.С. Ватолин
  Труды ИСП РАН, том 38, вып. 1, 2026 г.

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

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

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

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

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

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

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

• Обфускация и защита программных продуктов
  LynX

• Анализ запутывающих преобразований программ
  Чернов А. В. , Труды Института Системного программирования РАН 2002 г.

• Об одном методе маскировки программ
  Чернов А. В. , Труды Института Системного программирования РАН 2003 г.

• Как сделать свои программы надежнее?
  Крис Касперски, книга "ПК: решение проблем"

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

• Обнаружение компрометаций ядра
  Linux с помощью gdb Мариус Бурдач, перевод Владимир Куксенок, SecurityLab