Volume 11 (in Russian)

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

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