ИСП РАН — «Подходы к фаззинг-тестированию управляемого кода» | BIS TV

(13:6)

ИСП РАН — «Основы динамического символьного выполнения. Поиск ошибок при помощи ДСВ» | BIS TV

(9:12)

ИСП РАН — Безопасная компиляция (Алексей Нурмухаметов)

(19:9)

ИСП РАН — Введение в компиляцию (Дмитрий Мельник)

(22:27)

ИСП РАН — «Практический фаззинг Linux-приложения» | BIS TV

(6:20)

ИСП РАН — Статический анализ и компилируемые языки (Дмитрий Журихин)

(8:29)

ИСП РАН — Подходы к статическому анализу (Андрей Белеванцев)

(32:51)

ИСП РАН 2020

(3:56)

ИСП РАН — Статический анализ и жизненный цикл безопасного ПО (Елена Вандакурова)

(15:16)

ИСП РАН — «Распараллеливание фаззинг-тестирования» | BIS TV

(5:45)

ИСП РАН — «Введение в статический и динамический анализ драйверов Windows» | BIS TV

(12:10)

ИСП РАН — «Инструментальная и технологическая поддержка проведения фаззинг-тестирования ПО» | BIS TV

(9:12)

ИСП РАН — Статический анализ и интерпретируемые языки (Александр Волков)

(15:41)

ИСП РАН — «Особенности фаззинг-тестирования при проведении сертификационных испытаний» | BIS TV

(13:35)

Арутюн Аветисян -- Лжец и Вор. Вдова погибшего основателя ИСП РАН академика РАН Иванникова В.П.

(2:59)

[ЗШ 2021] О программе «Системное программирование» ИСП РАН

(1:31:4)

ИСП РАН — Введение в статический анализ. Основные понятия и виды анализа (Андрей Белеванцев)

(23:56)

ИСП РАН — Практика применения статического анализатора исходных текстов (Дмитрий Журихин)

(10:53)