Among the many software testing techniques available today, fuzzing has remained highly
popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of …

As one of the most popular software testing techniques, fuzzing can find a variety of
weaknesses in a program, such as software bugs and vulnerabilities, by generating …

A data race in a kernel is an important class of bugs, critically impacting the reliability and
security of the associated system. As a result of a race, the kernel may become …

Hybrid fuzzing, combining symbolic execution and fuzzing, is a promising approach for
vulnerability discovery because each approach can complement the other. However, we …

Fuzzing is a software testing technique that finds bugs by repeatedly injecting mutated
inputs to a target program. Known to be a highly practical approach, fuzzing is gaining more …

The Bluetooth Low Energy (BLE) is a promising short-range communication technology for
Internet-of-Things (IoT) with reduced energy consumption. Vendors implement BLE …

Fuzzing is an emerging technique to automatically validate programs and uncover bugs. It
has been widely used to test many programs and has found thousands of security …

Kernel-mode drivers are challenging to analyze for vulnerabilities, yet play a critical role in
maintaining the security of OS kernels. Their wide attack surface, exposed via both the …

Although it is common practice for kernel fuzzers to leverage type information of system
calls, current Windows kernel fuzzers do not follow the practice as most system calls are …

During system call execution, it is common for operating system kernels to read userspace
memory multiple times (multi-reads). A critical bug may exist if the fetched userspace …