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
-
La frode a Fideuram e la teoria della verità predefinita: cosa impariamo
28 Set 2026 -
Continuous compliance: perché la conformità cyber deve passare dalla fotografia al processo
28 Set 2026 -
Compliance e cyber security: perché la governance non può più essere gestita a silos
24 Set 2026 -
Claude Opus 5.5 spinge l’AI nella cyber: più capacità, più controlli
23 Set 2026 -
AI, il costo nascosto della produttività: quando generare costa meno che verificare
23 Set 2026
