Leakage contracts have recently been proposed as a new security abstraction at the
Instruction Set Architecture (ISA) level. Leakage contracts aim to capture the information that …

Attacks like Spectre abuse speculative execution, one of the key performance optimizations
of modern CPUs. Recently, several testing tools have emerged to automatically detect …

Traditional modeling approaches in computer architecture aim to obtain an accurate
estimation of performance, area, and energy of a processor design. With the advent of …

We present Serberus, the first comprehensive mitigation for hardening constant-time (CT)
code against Spectre attacks (involving the PHT, BTB, RSB, STL, and/or PSF speculation …

Preventing information leakage through microarchitectural side channels is notoriously
challenging and, as a result, an important research question. Recent work has shown the …

The past decade has seen a deluge of microarchitectural side channels stemming from a
variety of hardware structures (the cache, branch predictor, execution ports, the TLB …

Security critical software, eg, OpenSSL, comes with numerous side-channel leakages left
unpatched due to a lack of resources or experts. The situation will only worsen as the pace …

Parfait is a framework for proving that an implementation of a hardware security module
(HSM) leaks nothing more than what is mandated by an application specification. Parfait …

Transient execution attacks present an unprecedented threat to computing systems.
Protecting the operating system (OS) is exceptionally challenging because a transient …

The control flow of a program can often be observed through side-channel attacks. Hence,
when control flow depends on secrets, attackers can learn information about these secrets …