Compilazione sicura per codice generato da AI

Questo progetto affronta i rischi del codice generato dall’IA, che agisce come un **compilatore stocastico e non affidabile**, traducendo intenzioni espresse in linguaggio naturale in codice spesso funzionalmente corretto, ma privo di consapevolezza rispetto agli aspetti di sicurezza. Il progetto propone una nuova teoria di **patch di sicurezza modulari (pluggable)** per rendere più robusto il codice generato dall’IA sia rispetto alle vulnerabilità classiche (ad esempio, **sicurezza della memoria** e **non-interferenza**), sia rispetto alle minacce **microarchitetturali**...