The security of device drivers is critical for the entire operating system's reliability. Yet, it
remains very challenging to validate if a device driver can properly handle potentially …

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In
general, higher code coverage leads to the discovery of more bugs. This is why most …

Vulnerabilities in open-source operating systems (OSs) pose substantial security risks to
software systems, making their detection crucial. While fuzzing has been an effective …

Kernel debloating is a practical mechanism to mitigate the security problems of the operating
system kernel by reducing its attack surface. Existing kernel debloating mechanisms focus …

The Universal Serial Bus (USB) is an essential component in modern operating systems,
allowing for a wide assortment of peripherals to connect conveniently to a computer. The …

The Internet of Things (IoT) is frequently the epicenter of cyberattacks due to its weak
security. Prior works introduce various techniques for analyzing the firmware of IoT devices …

Device drivers and kernel extensions have long been considered one of the main sources of
defects in the kernel. In the past, complexity of driver execution environment and their …

Vulnerabilities in device drivers are constantly threatening the security of OS kernels. USB
drivers are particularly concerning due to their widespread use and the wide variety of their …

State-of-the-art kernel fuzzers use edge-based code coverage metrics for novel behavior
detection. However, code coverage is not sufficient for operating system kernels, for they …

The Linux kernel is actively-developed and widelyused. It supports billions of devices of all
classes, from highperformance computing to the Internet-of-Things, in part because of its …