Information security can be compromised by leakage via low-level hardware features. One
recently prominent example is cache probing attacks, which rely on timing channels created …

Hardware vulnerabilities are often due to design mistakes because the designer does not
sufficiently consider potential security vulnerabilities at the design stage. As a result, various …

This paper presents a novel secure hardware description language (HDL) that uses an
information flow type system to ensure that hardware is secure at design time. The novelty of …

Constructing high-assurance, secure hardware remains a challenge, because to do so
relies on both a verifiable means of hardware description and implementation. However …

We rely on a deep stack of abstractions to efficiently build software applications without
having to completely understand the nuance of language runtimes, operating systems, and …

Hardware-based mechanisms for software isolation are becoming increasingly popular, but
implementing these mechanisms correctly has proved difficult, undermining the root of …

Constructing high assurance, secure hardware remains a challenge, because to do so relies
on both a verifiable means of hardware description and implementation. However …

Develo** secure processors has become increasingly important. Recent advancements in
commercial security architectures such as Intel SGX have garnered much attention. The …

The exponential growth of the integrated circuit (IC) industry results in the rapid globalization
of its supply chain. Since a complicated IC design often involves numerous IP suppliers …