Information flow tracking (IFT) is a fundamental computer security technique used to
understand how information moves through a computing system. Hardware IFT techniques …

Recent discovery of security attacks in advanced processors, known as Spectre and
Meltdown, has resulted in high public alertness about security of hardware. The root cause …

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

Hardware (HW) security issues have been emerging at an alarming rate in recent years.
Transient execution attacks, such as Spectre and Meltdown, in particular, pose a genuine …

With the increasing complexity, modern system-onchip (SoC) designs are becoming more
susceptible to security attacks and require comprehensive security assurance. However …

This paper presents Transys, a tool for translating security critical properties written for one
hardware design to analogous properties suitable for a second design. Transys works in …

Security path verification is an effective measure for identifying design paths that can lead to
security violations. However, existing techniques in this realm typically lack the flexibility in …

This thesis addresses the need for a new approach to hardware sign-off verification which
guarantees the security of processors at the Register Transfer Level (RTL). To this end, we …

Hardware provides the foundation of trust for computer systems. Defects in hardware
designs routinely cause vulnerabilities that are exploitable by malicious software and …