Trusted execution environments (TEE) are CPU hardware extensions that provide security
guarantees for applications running on untrusted operating systems. The security of TEEs is …

Modern out-of-order processors face speculative execution attacks. Despite various
proposed software and hardware mitigations to prevent such attacks, new attacks keep …

Low-trust architectures work on, from the viewpoint of software, always-encrypted data, and
significantly reduce the amount of hardware trust to a small software-free enclave …

The Check tools automate formal memory consistency model and security verification of
processors by analyzing abstract models of microarchitectures, called μSPEC models …

Generating interesting test cases for CPU fuzzing is akin to generating programs that
exercise unusual states inside the CPU. The performance of CPU fuzzing is heavily …

Vulnerabilities and Trojans in hardware design may cause sensitive data to be leaked and
tampered. Information flow tracking technology can effectively verify the confidentiality and …

Microarchitectural attacks represent a challenging and persistent threat to modern
processors, exploiting inherent design vulnerabilities in processors to leak sensitive …

The hardware security community relies on databases of known vulnerabilities and open-
source designs to develop formal verification methods for identifying hardware security …

Microprocessors are constantly increasing in complexity, but to remain competitive, their
design and testing cycles must be kept as short as possible. This trend inevitably leads to …

The increasing complexity of designs and the emergence of hardware security
vulnerabilities pose challenges to efficient verification. This paper presents an automated …