brand

Том 11


Новости

20 Мая, 2026 Итоги конкурса на замещение вакантных должностей
29 Апреля, 2026 Итоги конкурса на замещение вакантных должностей
14 Апреля, 2026 На «Иванниковских чтениях» 2026 пройдут культурно-просветительская программа и медицинский трек

Труды Института системного программирования РАН. Том 11, 2006, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Содержание

В.П. Иванников. Предисловие. Стр. 5-8.

С.И. Алейников, А.О. Богатов. Защита программ от дизассемблирования. Стр. 9-16.

Николай Вяххи, Анатолий Коваль. Архитектурный подход к защите программ. Стр. 17-26.

Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Чернов, А.В. Шокуров. Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем. Стр. 27-60.

В.А. Захаров, К.С. Иванов. О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью. Стр. 61-82.

Andrey Belevantsev, Oleg Malikov. Using data flow analysis for detecting security vulnerabilities. Стр. 83-98.

Yury Lifshits. Guaranteed Slowdown, Generalized Encryption Scheme, and Function Sharing. Стр. 99-108.

Rimma Podlovchenko, Dmitry Rusakov, Vladimir Zakharov. The equivalence problem for programs with mode switching is PSPACE-complete. Стр. 109-128.

Вернуться к списку всех томов