Laboratory of Mathematical Logic

Пятница, 26 ноября, комната 106. Начало в 17:30.

Докладчик: Ю. Лифшиц.

Тема: Введение в обфускацию (запутывание) программ.

Abstract

Основная задача запутывания программ состоит в следующем: небходимо преобразовать программу

в новую

так, чтобы новая программа на тех же входах давала те же выходы, время работы, объем используемой памяти и размер кода могли лишь ограниченно (часто полиномиально) превосходить характеристики исходной пограммы, но при этом новая программа должна быть запутаннее исходной. До сих пор нет единого подхода к определению ``хорошо запутанной программы''. Важно, чтобы обфускация усложняла (делала практически невозможным) переиспользование блоков программы, установление скрытых параметров, внесение несанкционированных изменений. В докладе будет сделан обзор наиболее актуальных работ по этой области и направлений, в которых ведутся наиболее интенсивные исследования.