Definizione di una libreria per la sintesi ad alto livello di estensioni di sicurezza

Questo progetto ha l’obiettivo di creare una libreria in C/C++ che può essere usata per annotare o estendere la descrizione ad alto livello di componenti che devono essere generati tramite la sintesi ad alto livello. Questa libreria offrirà tipi di dato, costrutti e algoritmi per implementare dynamic information flow tracking (cioè il tracciamento dinamico dell’informazione per identificare usi malevoli), annotazioni per proteggere i dati e funzioni di watermarking per proteggere la proprietà intellettuale. Da questi construtti, gli strumenti di sintesi ad alto livello esistente dovranno essere in grado di generare la logica che implementa questi meccanismi di sicurezza.