Modern operating system kernels are too complex to be free of bugs. Fuzzing is a promising
approach for vulnerability detection and has been applied to kernel testing. However …

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

Device drivers are an essential part in modern Unix-like systems to handle operations on
physical devices, from hard disks and printers to digital cameras and Bluetooth speakers …

Kernel fuzzing is a dynamic testing technique that has successfully found numerous kernel
vulnerabilities. However, existing kernel fuzzers, such as Syzkaller, depend on system call …

Fuzz testing operating system kernels remains a daunting task to date. One known
challenge is that much of the kernel code is locked under specific kernel states and current …

Kernel vulnerabilities are critical in security because they naturally allow attackers to gain
unprivileged root access. Although there has been much research on finding kernel …

OS kernels are full of bugs resulting in security, reliability, and usability issues. Several
kernel fuzzers have recently been developed to find these bugs and have proven to be …

Coverage-guided fuzzing has achieved great success in finding software vulnerabilities.
Existing coverage-guided fuzzers generally favor test cases that hit new code, and discard …

Many kinds of memory safety vulnerabilities have been endangering software systems for
decades. Amongst other approaches, fuzzing is a promising technique to unveil various …

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 …