Network functions virtualization (NFV) enables agile deployment of network services on top
of clouds. However, as NFV involves multiple levels of abstraction representing the same …

Threat modeling is an analysis activity aimed at eliciting viable and realistic security and
privacy threats in the design of a software-intensive system. Threat modeling allows for a by …

The emergence of cloud computing allows users to execute their applications in a
ubiquitous manner. Public cloud offers various ready-to-use services eg AWS EC2, Amazon …

Security verification plays a vital role in providing users the needed security assurance in
many applications. However, applying existing verification tools for runtime security …

Cloud computing is emerging as a promising IT solution for enabling ubiquitous, convenient,
and on-demand accesses to a shared pool of configurable computing resources. However …

The operational complexity and dynamicity of clouds highlight the importance of automated
solutions for explaining the root cause of security incidents. Most existing works rely on …

With the wide variety of applications offered by Android, this system has been able to
dominate the smartphone market. These applications provide all kinds of features and …

Auditing and security assurance verification is, and has traditionally been, essential for many
industries due to regulatory requirements. Examples of this are ISO 27001 for information …

The dynamicity and complexity of clouds highlight the importance of automated root cause
analysis solutions for explaining what might have caused a security incident. Most existing …

Runtime cloud security auditing plays a vital role in mitigating security concerns in a cloud.
However, there currently does not exist a comprehensive solution that can protect a cloud …