Działania komplikujące
Obfuskatory programowe to algorytmy, które przetwarzają dane wejściowe w taki sposób, że wynik tego procesu jest inny dla odbiorców docelowych, a inny dla odbiorców nieupoważnionych – być może nawet niemożliwy do zrozumienia. Widok programu poddanego obfuskacji (zaciemnianiu) nie powinien oferować wglądu ani wiedzy poza zakres niezbędny do uruchomienia programu z wybranymi danymi wejściowymi. Chociaż próby obfuskacji programów często kończą się niepowodzeniem, ostatnie działania w tym zakresie pokazują, że możliwe jest zastosowanie bezpiecznych obfuskatorów dla określonych prostych klas programów. Nowy projekt "Nowe kierunki w kryptograficznej obfuskacji programów" (Kryptoobfuskacja) ma na celu wzmocnienie zrozumienia koncepcji obfuskacji programów oraz jej zastosowania w kryptografii. Projekt ten, finansowany ze środków UE, zamierza poszerzyć granice możliwości obfuskacji poprzez zaproponowanie nowych metod obfuskacji bogatszych klas programów. Członkowie zespołu uważają, że są w stanie sformułować i osiągnąć silniejszą koncepcję obfuskacji niż obecnie rozważane, a także znaleźć sposoby obejścia znanych wyników braku możliwości dla uniwersalnych obfuskatorów. Innym celem jest odkrycie nowych zastosowań obfuskacji programów w dziedzinach innych niż kryptografia. Osiągnięcia projektu mają wzmocnić wartość stosowania obfuskacji w rzeczywistych scenariuszach oraz oferować algorytmy obfuskacji możliwe do zaimplementowania w rzeczywistych systemach. W ramach dotychczasowych działań partnerzy projektu opracowali nową koncepcję obfuskacji, bezpieczeństwa modelu "szarej skrzynki", a także przedstawili nowe algorytmy obfuskacji na rzecz przyspieszenia prac na poziomie algebraicznym. Przeprowadzone badania dotyczą powiązań między wielobitową obfuskacją punktową a silnymi formami szyfrowania zabezpieczającymi przed wyciekiem informacji. Do innych osiągnięć projektu "Kryptoobfuskacja" zalicza się wprowadzenie silnego pojęcia obfuskacji niedeformowalnej, a także zaproponowanie nowych algorytmów obfuskacji, które mogą sprostać powiązanym wymogom. Partnerzy projektu opublikowali dotychczas pięć prac, natomiast kolejne są przygotowywane do zgłoszenia.
