The complexity of hardware designs has increased over the years due to the rapid
advancement of technology coupled with the need to support diverse and complex features …

Recent research has shown that hardware fuzzers can effectively detect security
vulnerabilities in modern processors. However, existing hardware fuzzers do not fuzz well …

The modern System-on-Chips (SoCs), with numerous complex and heterogeneous
intellectual properties (IPs), and the inclusion of highly-sensitive assets, become the target of …

As modern SoC architectures incorporate many complex/heterogeneous intellectual
properties (IPs), the protection of security assets has become imperative, and the number of …

In recent years, there has been a notable surge in attention towards hardware security,
driven by the increasing complexity and integration of processors, SoCs, and third-party IPs …

Modern System-on-Chip (SoC) designs containing sensitive information have become
targets of malicious attacks. Unfortunately, current verification practices still undermine the …

Hardware fuzzing has emerged as a promising automatic verification technique to efficiently
discover and verify hardware vulnerabilities. However, hardware fuzzing can be extremely …

Hardware security vulnerabilities in computing systems compromise the security defenses of
not only the hardware but also the software running on it. Recent research has shown that …

As the complexity of modern processors has increased over the years, developing effective
verification strategies to identify bugs prior to manufacturing has become critical. Inspired by …

Covert channels enable information leakage between security domains that should be
isolated by observing execution differences in shared hardware. These channels can …