Un podio mondiale per la cyber security italiana: LiSA, il framework open source per la verifica del software sviluppato dall’Università Ca’ Foscari di Venezia, ha conquistato il terzo posto a SVCOMP 2026, la principale competizione internazionale del settore organizzata in occasione della conferenza accademica Tools and Algorithms for the Construction and Analysis of Systems (TACAS), una delle maggiori conferenze mondiali in ambito di verifica software..
il progetto
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 SERICS, si basa su interpretazione astratta. Integrato dalla NSA in Ghidra, si candida come tecnologia italiana per l’analisi statica del codice
Pubblicato il 25 mar 2026
Alessia Valentini
Giornalista, Cybersecurity Consultant e Advisor
@RIPRODUZIONE RISERVATA
Alessia Valentini
Giornalista, Cybersecurity Consultant e Advisor
Continua a leggere questo articolo
SPAZIO CISO
-
AI in azienda: il vero rischio non è la tecnologia, ma l’illusione di governarla
11 Mag 2026 -
Direttiva NIS2 e DORA: le nuove priorità per la sicurezza IT
08 Mag 2026 -
Chaos ransomware: quando lo spionaggio iraniano si maschera da cybercrime
07 Mag 2026 -
Sicurezza architetturale: i nuovi contratti hardware-software contro gli attacchi side-channel
07 Mag 2026 -
Cyber resilience: perché la sicurezza oggi va oltre la protezione dell’IT
05 Mag 2026
