SoK: Hardware Security Support for Trustworthy Execution

10/11/2019
by   Lianying Zhao, et al.
0

In recent years, there have emerged many new hardware mechanisms for improving the security of our computer systems. Hardware offers many advantages over pure software approaches: immutability of mechanisms to software attacks, better execution and power efficiency and a smaller interface allowing it to better maintain secrets. This has given birth to a plethora of hardware mechanisms providing trusted execution environments (TEEs), support for integrity checking and memory safety and widespread uses of hardware roots of trust. In this paper, we systematize these approaches through the lens of abstraction. Abstraction is key to computing systems, and the interface between hardware and software contains many abstractions. We find that these abstractions, when poorly designed, can both obscure information that is needed for security enforcement, as well as reveal information that needs to be kept secret, leading to vulnerabilities. We summarize such vulnerabilities and discuss several research trends of this area.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/07/2022

SAGE: Software-based Attestation for GPU Execution

With the application of machine learning to security-critical and sensit...
research
11/10/2019

Enhancing Programmability, Portability, and Performance with Rich Cross-Layer Abstractions

Programmability, performance portability, and resource efficiency have e...
research
05/24/2022

The Next-Generation OS Process Abstraction

Operating Systems are built upon a set of abstractions to provide resour...
research
05/06/2021

Analysis and Improvement of Heterogeneous Hardware Support in Docker Images

Docker images are used to distribute and deploy cloud-native application...
research
04/12/2023

Information Flow Coverage Metrics for Hardware Security Verification

Security graphs model attacks, defenses, mitigations, and vulnerabilitie...
research
05/12/2021

Guardian: symbolic validation of orderliness in SGX enclaves

Modern processors can offer hardware primitives that allow a process to ...
research
11/15/2022

MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing

Motivated by developer productivity, serverless computing, and microserv...

Please sign up or login with your details

Forgot password? Click here to reset