Massive software applications possess complex data structures or parse complex data
structures; in such cases, vulnerabilities in the software become inevitable. The …

Fuzzing, a widely-used technique for bug detection, has seen advancements through Large
Language Models (LLMs). Despite their potential, LLMs face specific challenges in fuzzing …

Kernel concurrency bugs are notoriously difficult to identify, while their consequences
severely threaten the reliability and security of the entire system. Especially in the kernel …

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 …

Network protocols are extensively used in a variety of network devices, making the security
of their implementations crucial. Protocol fuzzing has shown promise in uncovering …

Bug reports and patch commits are dramatically increasing for OS kernels, incentivizing a
critical need for kernel-level bug reproduction and patch testing. Directed greybox fuzzing …

Despite the fact that the state-of-the-art fuzzers can generate inputs efficiently, existing fuzz
drivers still cannot adequately cover entries in libraries. Most of these fuzz drivers are crafted …

Discovering kernel concurrency bugs through fuzzing is challenging. Identifying kernel
concurrency bugs, as opposed to non-concurrency bugs, necessitates an analysis of …

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 …