Hi all, On September 15, in Aula Martinetti, at 2.30 pm we will have a seminar hold by Stefano Nicoletti (University of Twente). Title of the talk: ATM: a Logic for Quantitative Security Properties on Attack Trees Abstract: Critical infrastructure systems — for which high reliability and availability are paramount — must operate securely. Attack trees […]