Ransomware, particularly crypto ransomware, has emerged as the go-to malware for threat
actors aiming to compromise data on Android devices as well as in general. In this paper …

Security risk assessment is an important challenge in the design of Cyber Physical Systems
(CPS). Even more importantly, the intrinsically dynamical nature of these systems, due to …

To reason about and enforce security in dynamic software systems, automated analysis and
verification approaches are required. However, such approaches often encounter scalability …

Given the increasing complexity of softwareintensive systems as well as the sophistication
and high frequency of cyber-attacks, automated and sound approaches to select …

Attack graphs are a tool for analyzing security vulnerabilities that capture different and
prospective attacks on a system. As a threat modeling tool, it shows possible paths that an …

Given the always increasing size of computer systems, manually protecting them in case of
attacks is unfeasible and error-prone. For this reason, a new body of work is emerging …

Business and individuals become more dependent on mobile phones, where the mobility
and the fast increment of mobile applications gives an advantage for the rapid growth of the …

Today's software landscape features a high degree of complexity, frequent change and
many uncertainties. Cyber-attacks are a common occurrence and their consequences are …