01/07/2026

Intelligenza artificiale e vulnerabilità: il ruolo dei modelli LLM nel codice applicativo

I modelli LLM accelerano lo sviluppo software ma introducono rischi inediti: codice insicuro generato automaticamente, allucinazioni che importano lib...

Leggi tutto →

09/06/2026

I dolori del giovane vibe coding che democratizza lo sviluppo ma nuoce alla sicurezza (e ai programmatori)

Il vibe coding è l’approccio che trasforma descrizioni in linguaggio naturale in codice eseguibile tramite modelli AI: accelera prototipi e democratiz...

Leggi tutto →

25/03/2026

Analisi statica del codice: con LiSA la tecnologia italiana sale sul podio mondiale

LiSA, il framework di Ca’ Foscari per la verifica del software, conquista il terzo posto a SVCOMP 2026 nella categoria Java. Progetto co-finanziato da...

Leggi tutto →