Autonomous driving carries the promise to drastically reduce the number of car accidents;
however, recently reported fatal crashes involving self-driving cars show that such an …

The race for deploying AI-enabled autonomous vehicles (AVs) on public roads is based on
the promise that such self-driving cars will be as safe as or safer than human drivers …

The Universal Serial Bus (USB) connects external devices to a host. This interface exposes
the OS kernels and device drivers to attacks by malicious devices. Unfortunately, kernels …

Fuzzing is arguably the most practical approach for detecting security bugs in software, but a
non-trivial extent of efforts is required for its adoption. To be effective, high-quality fuzz …

Existing mutation based fuzzers tend to randomly mutate the input of a program without
understanding its underlying syntax and semantics. In this paper, we propose a novel on-the …

Most programs with command-line interface (CLI) have dozens of command-line options
(eg,-l,-F,-R for ls) to alternate the operation of the programs. Thus, depending on the option …

Hybrid fuzzers combine both fuzzing and concolic execution with the wish that the fuzzer will
quickly explore input spaces and the concolic execution will solve the complex path …

Hybrid testing combines fuzz testing and concolic execution. It leverages fuzz testing to test
easy-to-reach code regions and uses concolic execution to explore code blocks guarded by …

A virtual machine interacts with its host environment through virtual devices, driven by virtual
device messages, eg, I/O operations. By issuing crafted messages, an adversary can exploit …