Search indices are fundamental building blocks of many systems, and there is great interest
in running them on encrypted data. Unfortunately, many known schemes that enable search …

New hardware primitives such as Intel SGX secure a user-level process in presence of an
untrusted or compromised OS. Such" enclaved execution" systems are vulnerable to several …

Blocking microarchitectural (digital) side channels is one of the most pressing challenges in
hardware security today. Recently, there has been a surge of effort that attempts to block …

System auditing is a central concern when investigating and responding to security
incidents. Unfortunately, attackers regularly engage in anti-forensic activities after a break-in …

Speculative execution attacks put a dangerous new twist on information leakage through
microarchitectural side channels. Ordinarily, programmers can reason about leakage based …

Speculative execution attacks are an enormous security threat. In these attacks, malicious
speculative execution reads and exfiltrates potentially arbitrary program data through …

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 …

Cloud providers are extending support for trusted hardware primitives such as Intel SGX.
Simultaneously, the field of deep learning is seeing enormous innovation as well as an …

Dynamic instrumentation systems have proven to be extremely valuable for program
introspection, architectural simulation, and bug detection. Yet a major drawback of modern …

Recent attacks have demonstrated that modern microarchitectures are fraught with
microarchitectural side channels. Constant-time (CT) programming is a software …