Al lavoro per confondere
Gli offuscatori di programmi sono algoritmi che elaborano i dati di entrata per fare in modo che il risultato sia diverso per gli utenti che li devono vedere rispetto a quelli che non li devono vedere, a volte rendendoli incomprensibili. La visualizzazione di un programma offuscato non dovrebbe offrire informazioni o conoscenze oltre quelle necessarie per eseguire il programma su input scelti. Nonostante spesso i tentativi di offuscamento dei programmi non abbiano successo, un recente lavoro in questo settore ha dimostrato che è possibile applicare offuscatori estremamente sicuri per determinati tipi di classi di programmi. Il progetto Crypto obfuscation (New directions in cryptographic program obfuscation) sta cercando di comprendere meglio il concetto di offuscamento di programmi e la sua applicabilità alla crittografia. Il progetto finanziato dall'UE intende ampliare i confini di ciò che attualmente è offuscabile proponendo nuovi metodi di offuscamento di classi di programmi più ricche. I membri dell'equipe ritengono di poter formulare e ottenere nozioni di offuscamento più solide rispetto a quelle attualmente considerate e di trovare dei metodi per gestire risultati di impossibilità noti per offuscatori generici. Un altro obiettivo è scoprire nuove applicazioni di offuscamento dei programmi in altre aree della crittografia. I risultati del progetto puntano a potenziare il valore dell'applicazione dell'offuscamento in scenari reali e a offrire algoritmi di offuscamento da integrare in sistemi reali. Nel lavoro svolto finora i partner di progetto hanno ideato una nuova nozione di offuscamento, la sicurezza grey box, e hanno proposto nuovi algoritmi di offuscamento per far progredire il lavoro a livello algebrico. Sono stati condotti studi sulle connessioni tra offuscamento di punti multi-bit e forme solide di crittografia che sono sicure contro una fuga di informazioni. Grazie ad altri risultati, il progetto Crypto obfuscation ha introdotto la nozione di offuscamento non malleabile e ha proposto nuovi algoritmi di offuscamento in grado di rispettare i relativi requisiti. Finora i partner di progetto hanno pubblicato cinque documenti e altri sono in corso di preparazione.
