|
|
Публикации в базе данных Math-Net.Ru
-
О методах извлечения алгоритмов из бинарного кода
Труды ИСП РАН, 36:3 (2024), 139–160
-
Модель и декларативный язык спецификации бинарных форматов данных
Труды ИСП РАН, 33:6 (2021), 27–50
-
Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов
Труды ИСП РАН, 33:4 (2021), 211–226
-
Практическая абстрактная интерпретация бинарного кода
Труды ИСП РАН, 32:6 (2020), 101–110
-
Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
Труды ИСП РАН, 31:6 (2019), 65–88
-
Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода
Труды ИСП РАН, 31:6 (2019), 33–64
-
Автоматизированное тестирование фронтенда транслятора TCG для Qemu
Труды ИСП РАН, 31:5 (2019), 7–24
-
О новом поколении промежуточных представлений, применяемых для анализа бинарного кода
Труды ИСП РАН, 30:6 (2018), 39–68
-
Автоматизация разработки моделей устройств и вычислительных машин для QEMU
Труды ИСП РАН, 29:6 (2017), 77–104
-
О представлении результатов обратной инженерии бинарного кода
Труды ИСП РАН, 29:3 (2017), 31–42
-
Подходы к представлению результатов анализа сетевого трафика
Труды ИСП РАН, 28:6 (2016), 103–110
-
О некоторых ограничениях полносистемного анализа помеченных данных
Труды ИСП РАН, 28:6 (2016), 11–26
-
Оценка критичности программных дефектов в условиях работы современных защитных механизмов
Труды ИСП РАН, 28:5 (2016), 73–92
-
Метод поиска уязвимости форматной строки
Труды ИСП РАН, 27:4 (2015), 23–38
-
Модель представления данных при проведении глубокого анализа сетевого трафика
Труды ИСП РАН, 27:4 (2015), 5–22
-
Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ
Труды ИСП РАН, 27:2 (2015), 105–126
-
Об особенностях детерминированного воспроизведения при минимальном наборе устройств
Труды ИСП РАН, 27:2 (2015), 65–92
-
Прогнозирование производительности MPI-программ на основе моделей
Автомат. и телемех., 2007, № 5, 8–17
-
Параллельное программирование с распределением по данным в системе ParJava
Выч. мет. программирование, 2:2 (2001), 70–87
© , 2024