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 …

Hardware Security is at stake driven by the growing complexity and integration of
processors, SoCs, and diverse third-party intellectual property (IP) hardware, all geared …

Compared to software defects which can be patched in the field, hardware defects are
permanent. As hardware iterations accelerate, a leftward shift in hardware testing is …

Recent attacks on modern processors have demonstrated the severe consequences of
discovering and exploiting hardware vulnerabilities. Simultaneously, the increasing …

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

The increasing complexity and integration of diverse components in modern System-on-
Chip (SoC) designs make them susceptible to a range of attacks. Unfortunately, a …

The increasing complexity of modern processors poses many challenges to existing
hardware verification tools and methodologies for detecting security-critical bugs. Recent …

Modern Systems-on-Chips (SoCs) integrate numerous insecure intellectual properties to
meet design-cost and time-to-market constraints. Incorporating these SoCs into security …

Modern computing systems heavily rely on hardware as the root of trust. However, their
increasing complexity has given rise to security-critical vulnerabilities that cross-layer attacks …

The rise in the development of complex and application-specific commercial and open-
source hardware and the shrinking verification time are causing numerous hardware …