La sicurezza delle applicazioni è offerta con soluzioni di tipo software e di tipo hardware. Intel offre come soluzione hardware Secure Guard eXtensions (o SGX), un set di istruzioni capace di creare spazi virtuali di esecuzione del software, protetti dal controller della memoria che cifra i dati salvati all’interno, isolandoli dal resto del sistema. Si crea un Trusted Execution Environment(TEE), in cui la zona di memoria protetta, chiamata enclave, garantisce all’applicazione che non possano essere fatte modifiche e accessi di ogni tipo dall’esterno, ritenuto non autorizzato. Come punto di partenza della Tesi, è stato ripreso un framework sviluppato al Politecnico di Torino, capace di modificare automaticamente il sorgente di una applicazione scritta in C inserendo le proprietà di sicurezza di SGX, analizzando il codice con strumenti di analisi esterni per trovare la richiesta di inserimento di funzionalità sotto forma di notazioni inserite dallo sviluppatore.