Fuzz testing operating system kernels has been effective overall in recent years. For
example, syzkaller manages to find thousands of bugs in the Linux kernel since 2017. One …

Random-based approaches and heuristics are commonly used in kernel concurrency
testing due to the massive scale of modern kernels and corresponding interleaving space …

Type confusion bugs are a common source of security problems whenever software makes
use of type hierarchies, as an inadvertent downcast to an incompatible type is hard to detect …

The Linux kernel is the backbone of modern society. When a kernel error is discovered, a
quick remediation is needed. Whereas sanitizers greatly facilitate root cause diagnosis …

Virtualization plays an essential role in providing security to computational systems by
isolating execution environments. Many software solutions, called hypervisors, have been …

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

MLIR (Multi-Level Intermediate Representation) compiler infrastructure has gained
widespread popularity in recent years. It introduces dialects to accommodate various levels …

In top-tier companies and academia, fuzzing has established itself as a valuable tool for
finding bugs. It is a tool created by experts for experts, and a lot of research is being invested …

Continuous fuzzing has become an integral part of the Linux kernel ecosystem, discovering
thousands of bugs over the past few years. Interestingly, only a tiny fraction of them were …

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 …