

Sicurezza e protezione del software
Il corso tratta le principali tecniche di analisi dei programmi basate su tipi e logiche, che consentono di identificare comportamenti illeciti, verificarne l'assenza ed esplorare gli strumenti che implementano tali tecniche.




































