Fuzzing has proven to be a highly effective approach to uncover software bugs over the past
decade. After AFL popularized the groundbreaking concept of lightweight coverage …

ARM TrustZone forms the security backbone of mobile devices. TrustZone-based Trusted
Execution Environments (TEEs) facilitate security-sensitive tasks like user authentication …

The promise of software sandboxing is flexible, fast and portable isolation; capturing the
benefits of hardwarebased memory protection without requiring operating system …

Embedded systems with their diverse, interconnected components form the backbone of our
digital infrastructure. Despite their importance, analyzing their security in a scalable way has …

The security guarantees of cloud computing depend on the isolation guarantees of the
underlying hypervisors. Prior works have presented effective methods for automatically …

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 …

Linux drivers share the same address space and privilege with the core of the kernel but
have a much larger code base and attack surface. The Linux drivers are not well tested and …

The integrity of the entire computing ecosystem depends on the security of our operating
systems (OSes). Unfortunately, due to the scale and complexity of OS code, hundreds of …

The security of the entire cloud ecosystem crucially depends on the isolation guarantees that
hypervisors provide between guest VMs and the host system. To allow VMs to communicate …

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 …