A virtual machine interacts with its host environment through virtual devices, driven by virtual
device messages, eg, I/O operations. By issuing crafted messages, an adversary can exploit …

Fuzzing has proven to be a highly effective approach to uncover software bugs over the past
decade. After AFL popularized the groundbreaking concept of lightweight coverage …

Container isolation is implemented through OS-level virtualization, such as Linux
namespaces. Unfortunately, these mechanisms are extremely challenging to implement …

Nowadays, industries are looking into virtualization as an effective means to build safe
applications, thanks to the isolation it can provide among virtual machines (VMs) running on …

Partitioning hypervisor solutions are becoming increasingly popular, to ensure stringent
security and safety requirements related to isolation between co-hosted applications and to …

Background. The goal of our master's thesis is to reduce the effectiveness of fuzzers using
coverage accounting. The method we chose to carry out our goal is based on how the …

Dynamic analysis of microcontroller-based embedded firmware remains challenging. The
general lack of source code availability for Commercial-off-the-shelf (COTS) firmware …

In recent years, fuzz-testing has appeared as the dominant technique for automatically
finding security issues in software.“Off-the-shelf” fuzzers such as AFL (++) and libFuzzer …

This dissertation marks the culmination of my Ph. D. journey, which has been an experience
filled with ups and downs, triumphs and challenges. It is a privilege to present the research I …

The security guarantees of cloud computing depend on the isolation guarantees of the
underlying hypervisors. Prior works have presented effective methods for automatically …