Hardware has been constantly augmented for security considerations since the advent of
computers. There is also a common perception among computer users that hardware does a …

The advancement of manufacturing technologies has enabled the integration of more
intellectual property (IP) cores on the same system-on-chip (SoC). Scalable and high …

Cryptography secures our online interactions, transactions, and trust. To achieve this goal,
not only do the cryptographic primitives and protocols need to be secure in theory, they also …

Intel's Software Guard Extensions (SGX) promises an isolated execution environment,
protected from all software running on the machine. As such, numerous works have sought …

A new class of vulnerabilities related to speculative and out-of-order execution, fault-
injection, and microarchitectural side channels rose to attention in 2018. The techniques …

This research report gives a high-level technical overview of avenues that can be used to
attack applications that use Software Guard Extensions as a privacy enhancing technology …

Transient execution attacks have been one of the widely explored microarchitectural side
channels since the discovery of Spectre and Meltdown. However, much of the research has …

Microarchitectural security verification of software has seen the emergence of two broad
classes of approaches. The first is based on semantic security properties (eg, non …

Recent commodity x86 CPUs still dominate the majority of supercomputers and most of them
implement vector architectures to support single instruction multiple data (SIMD). Although …

Firecracker is a virtual machine manager (VMM) built by Amazon Web Services (AWS) for
serverless cloud platforms, services that run code for end users on a per-task basis …