Formal Methods for Secure Systems (9CFU) - Laurea Magistrale in Computer Engineering
Dependability (6CFU) - Laurea Magistrale in Cybersecurity

Course materials available on Teams.