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 …

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

Virtualization has been widely used in various scenarios, such as cloud computing. As its
core technology, virtualization hypervisor brings up the efficiency of sharing the physical …

Fuzzing is an effective method for detecting security bugs in software, and there have been
quite a few effective works on fuzzing Android. Researchers have developed methods for …

Dynamic analysis and especially fuzzing are challenging tasks for embedded firmware
running on modern low-end Microcontroller Units (MCUs) due to performance overheads …

As one of the most successful and effective software testing techniques in recent years, fuzz
testing has uncovered numerous bugs and vulnerabilities in modern software, including …

While fuzzing is widely accepted as an efficient program testing technique, it is still unclear
how to measure the comparative quality of different fuzzers. The current de facto quality …

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 …

Virtual devices are a large attack surface of hypervisors. Vulnerabilities in virtual devices
may enable attackers to jailbreak hypervisors or even endanger co-located virtual machines …