Trusted execution environments (TEEs) see rising use in devices from embedded sensors to
cloud servers and encompass a range of cost, power constraints, and security threat model …

Transient execution attacks, also known as speculative execution attacks, have drawn much
interest in the last few years as they can cause critical data leakage. Since the first …

Virtualization is a powerful technology for increasing the efficiency of computing services;
however, besides its advantages, it also raises a number of security issues. In this article, we …

Today's cloud computing infrastructure requires substantial trust. Cloud users rely on both
the provider's staff and its globally distributed software/hardware platform not to expose any …

For years the PC community has struggled to provide secure solutions on open platforms.
Intel has developed innovative new technology to enable SW developers to develop and …

To instill greater confidence in computations outsourced to the cloud, clients should be able
to verify the correctness of the results returned. To this end, we introduce Pinocchio, a built …

We introduce Intel® Software Guard Extensions (Intel® SGX) SGX2 which extends the SGX
instruction set to include dynamic memory management support for enclaves. Intel® SGX is …

Contrary to widespread assumption, dynamic RAM (DRAM), the main memory in most
modern computers, retains its contents for several seconds after power is lost, even at room …

Intel SGX promises powerful security: an arbitrary number of user-mode enclaves protected
against physical attacks and privileged software adversaries. However, to achieve this, Intel …

Commodity operating systems entrusted with securing sensitive data are remarkably large
and complex, and consequently, frequently prone to compromise. To address this limitation …