Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 3 (2017) О представлении результатов обратной инженерии бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян
"... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода в ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... разработчика, в данной работе был проведён анализ архитектуры QEMU и процесса разработки моделей отдельных ..."
 
Том 27, № 4 (2015) Модель представления данных при проведении глубокого анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, В. П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов
"... В статье предложена объектная модель представления данных при проведении глубокого анализа сетевого ..."
 
Том 27, № 4 (2015) Метод поиска уязвимости форматной строки Аннотация  PDF (Rus)  похожие документы
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов
"... В статье рассматривается метод поиска уязвимостей форматной строки в исполняемом бинарном коде ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... , а также отладкой сетевых протоколов, предлагается использовать журнал, в котором фиксируются ошибки ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... В данной работе предложен уточненный метод автоматизированной оценки степени опасности найденных ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... В статье рассматривается метод автоматизированного построения эксплойтов для уязвимости ..."
 
Том 27, № 2 (2015) Об особенностях детерминированного воспроизведения при минимальном наборе устройств Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян
"... вычислительных машинах используется для отладки, повышения отказоустойчивости, а также в различных исследованиях ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... кода, но все попытки наталкивались на ряд нерешенных вопросов. В данной работе рассматриваются ..."
 
Том 19 (2010) Моделирование операционной семантики машинных инструкций Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, М. А. Соловьев, А. И. Кононов
"... В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для ..."
 
Том 27, № 2 (2015) Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
"... В статье рассматривается метод выявления ошибок работы с памятью в бинарном коде программ, таких ..."
 
Том 19 (2010) Восстановление формата данных Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, В. А. Падарян, Е. И. Щетинин
"... структуры полученного программой сетевого сообщения или считанного файла. В случае работы аналитика с ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... В работе представлены два подхода к реализации полносистемного детерминированного воспроизведения в ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... В статье приводится опыт применения программных эмуляторов в качестве средства динамического ..."
 
Том 30, № 6 (2018) О новом поколении промежуточных представлений, применяемых для анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко
"... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... В данной статье приводятся результаты экспериментального исследования по восстановлению графа ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода и их ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... Реализация новой виртуальной процессорной архитектуры в Qemu предполагает создание фронтенда ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... аналитика, автоматизация его действий не несет в себе системный характер. В случае отсутствия необходимого ..."
 
Том 31, № 6 (2019) Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян
"... архитектур реализации декодеров разнородны, результаты разбора команд несовместимы, а сопровождение ..."
 
Том 28, № 1 (2016) Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения Аннотация  PDF (Rus)  похожие документы
А. В. Дергачёв, А. В. Сидорин
"... построении и применении резюме в процессе анализа исходного кода (по сравнению с анализом низкоуровневого ..."
 
Том 28, № 1 (2016) Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU Аннотация  PDF (Rus)  похожие документы
В. А. Платонов, А. В. Монаков
"... технологию CUDA, в рамках программного пакета OpenFOAM, а также описаны особенности их переноса на ..."
 
Том 28, № 4 (2016) Поддержка стандарта OpenMP 4.0 для архитектуры NVIDIA PTX в компиляторе GCC Аннотация  PDF (Rus)  похожие документы
А. В. Монаков, В. А. Иванишин
"... В статье описывается реализация стандарта OpenMP версии 4.0 для акселераторов NVIDIA PTX в ..."
 
Том 28, № 6 (2016) Классификация ROP гаджетов Аннотация  PDF (Rus)  похожие документы
А. В. Вишняков
"... В данной работе предложен метод классификации ROP гаджетов, который позволяет аналитику сделать ..."
 
Том 29, № 5 (2017) Логика первого порядка для задания требований к безопасному программному коду Аннотация  PDF (Rus)  похожие документы
А. В. Козачок
"... В настоящее время вопросу защиты информации при проектировании и эксплуатации объектов критической ..."
 
Том 28, № 5 (2016) Автоматическое доказательство безопасности локальных пустых указателей Аннотация  похожие документы
А. В. Когтенков
"... Разыменование пустого указателя - это хорошо известная ошибка, встречающаяся в объектно ..."
 
Том 29, № 6 (2017) Эталонные тесты безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
А. В. Когтенков
"... Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно ..."
 
Том 30, № 3 (2018) Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Аннотация  PDF (Rus)  похожие документы
В. В. Зосимов, А. В. Христодоров, А. С. Булгакова
"... В статье описываются функциональные возможности и структура программного модуля для ..."
 
Том 29, № 5 (2017) Обещающая компиляция в ARMv8.3 Аннотация  PDF (Rus)  похожие документы
А. В. Подкопаев, О. Лахав, В. Вафеядис
"... использована в стандарте некоторого промышленного языка программирования, должна быть доказана корректность ..."
 
Том 29, № 6 (2017) Подход к реализации системы верифицированного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... В настоящей статье представлено описание технической реализации системы верифицированного ..."
 
Том 30, № 2 (2018) Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Аннотация  PDF (Rus)  похожие документы
А. Н. Авдеева, В. В. Пузикова
"... крови в артериях, а также изучение комплексного воздействия разнообразных факторов на характеристики ..."
 
Том 29, № 3 (2017) ADV_SPM - Формальные модели политики безопасности на практике Аннотация  PDF (Rus)  похожие документы
А. В. Хорошилов, И. В. Щепетков
"... В статье рассматривается семейство требований доверия к безопасности ADV_SPM «Моделирование ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..."
 
Том 30, № 2 (2018) Обзор расширяемого протокола аутентификации и его методов Аннотация  PDF (Rus)  похожие документы
А. В. Никешин, В. З. Шнитман
"... предоставляющего эффективный механизм встраивания в него различных методов аутентификации, а также обзор собственно ..."
 
Том 30, № 3 (2018) Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Аннотация  похожие документы
В. Ю. Чепцов, А. В. Хорошилов
"... , полагающиеся на ввод-вывод с отображением в оперативную память, представляют особый интерес, так как в этих ..."
 
Том 28, № 2 (2016) Технология создания семейства приложений на основе анализа предметной области Аннотация  похожие документы
А. А. Гудошникова, Ю. В. Литвинов
"... трудно понять, что нужно переиспользовать в изоляции от контекста, в частности переиспользование одного ..."
 
Том 28, № 4 (2016) Обзор современных методов планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... , строительстве, а также создание новых продуктов и сервисов невозможны без решения задач планирования движения. В ..."
 
Том 29, № 4 (2017) Cтохастические методы анализа комплексных программно-аппаратных систем Аннотация  похожие документы
А. А. Карнов, С. В. Зеленов
"... MASIW, а также описывается сам метод марковского анализа. В основной части предлагается алгоритм ..."
 
Том 29, № 5 (2017) Объектно-ориентированная среда для разработки приложений планирования движения Аннотация  PDF (Rus)  похожие документы
К. А. Казаков, В. А. Семенов
"... для робота, перемещаемого в статическом и динамическом трехмерном окружении. Организация среды в виде ..."
 
Том 29, № 3 (2017) Объектно-ориентированный каркас для программной реализации приложений теории расписаний Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... на единой методологической, программной и инструментальной основе. В статье детально обсуждаются ..."
 
1 - 40 из 465 результатов 1 2 3 4 5 6 7 8 9 10 11 12 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)