Informellt är en obfuscator O en effektiv, probabilistisk "kompilator" som omvandlar ett program P till ett nytt program O(P ) med samma funktionalitet som P, men sådan att O(P ) skyddar alla hemligheter som kan byggas in i och användas av P. Program obfuscation, om möjligt skulle ha många viktiga kryptografiska program, inklusive: (1) " Intellektuell egendom" skydd av hemliga algoritmer och nycklar i programvara, (2) Lösa det långvariga öppna problemet med homomorfisk offentlig nyckel kryptering, (3) Kontrollerad delegering av auktoritet och åtkomst, (4) Omvandla Privat nyckel kryptering till PublicKey kryptering och (5) Access Control Systems. Tyvärr kan dock program obfuscators som arbetar på godtyckliga program inte existera [1]. Inga positiva resultat för program obfuscation var kända innan detta arbete. I denna uppsats ger vi de första positiva resultaten i program obfuscation. Vi fokuserar på målet med passerkontroll, och ger flera bevisbara obfuscations för komplexa passerkontrollfunktioner, i den slumpmässiga oraklet modellen. Våra resultat uppnås genom icke-triviala kompositioner av obfuscations; vi noterar att allmän sammansättning av obfuscations är omöjligt, och därför utveckla tekniker för att komponera obfuscations är ett viktigt mål. Vårt arbete kan också ses som att göra initiala framsteg mot målet att fördunkla finita automata eller reguljära uttryck, en viktig allmän klass av maskiner som inte uteslutits av omöjligheten resultat [1]. Vi noterar också att vårt arbete ger de första formella bevisteknikerna för obfuscation, som vi förväntar oss kommer att vara användbara i det framtida arbetet på detta område.
Till exempel Lynn et al. visa i REF hur man fördunkla punktfunktioner i den slumpmässiga orakelmodellen.
Positive Results and Techniques for Obfuscation
{'venue': 'EUROCRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}