Proceedings of ISP RAS


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

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

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

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

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.

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

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

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

Back to the list of all volumes