Model‐based security testing relies on models to test whether a software system meets its
security requirements. It is an active research field of high relevance for industrial …

The emerging technology that is vehicular platooning is an exciting technology. It promises
to save space on congested roadways, improve safety and utilise less fuel for transporting …

In this article we consider the problem of defending against increasing data exfiltration
threats in the domain of cybersecurity. We review existing work on exfiltration threats and …

Security testing aims at verifying that the software meets its security properties. In modern
Web systems, however, this often entails the verification of the outputs generated when …

The number of security attacks and the impact has grown considerably in the recent several
years. As a result, new emerging software development models are required that assist in …

Modern industries widely rely upon software and IT services, in a context where cybercrime
is rapidly spreading in more and more sectors. Unfortunately, despite greater general …