Volume 11 (in Russian)


Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

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

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

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

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

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

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

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

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

Back to the list of all volumes