Fuzzing has become one of the best-established methods to uncover software bugs.
Meanwhile, the market of embedded systems, which binds the software execution tightly to …

Commodity operating system kernels remain monolithic for practical and historical reasons.
All kernel code shares a single address space, executes with elevated processor privileges …

The extensive integration of embedded devices within the Internet of Things (IoT) has given
rise to significant security concerns. Various initiatives have been undertaken to bolster the …

Emulating firmware of microcontrollers is challenging due to the lack of peripheral models.
Existing work finds out how to respond to peripheral read operations by analyzing the target …

The security of microcontrollers, which drive modern IoT and embedded devices, continues
to raise major concerns. Within a microcontroller (MCU), the firmware is a monolithic piece of …

As IoT devices with microcontroller (MCU)-based firmware become more common in our
lives, memory corruption vulnerabilities in their firmware are increasingly targeted by …

For portability, embedded systems software follows a layered design to reduce dependence
on particular hardware behavior. We consider the problem of identifying layering violations …

Exponential growth in embedded systems is driving the research imperative to develop
fuzzers to automate firmware testing to uncover software bugs and security vulnerabilities …

Ability to test firmware on embedded devices is critical to discovering vulnerabilities prior to
their adversarial exploitation. State-of-the-art automated testing methods rehost firmware in …

Dynamic analysis of embedded firmware is a necessary capability for many security tasks,
eg, vulnerability detection. Rehosting is a technique that enables dynamic analysis by …