IRONHIDE: A Secure Multicore Architecture that Leverages Hardware Isolation Against Microarchitecture State Attacks

04/29/2019
by   Hamza Omar, et al.
0

Modern microprocessors enable aggressive hardware virtualization that exposes the microarchitecture state of the processor due to temporal sharing of hardware resources. This paper proposes a novel secure multicore architecture, IRONHIDE that aims to mitigate both speculative and non-speculative microarchitecture state vulnerabilities. It introduces novel spatial allocation of hardware resources across two concurrent domains, i.e., a secure and an insecure application domain (referred to as clusters of cores). IRONHIDE enables strong isolation by disallowing sharing of any hardware structures across cluster boundaries to mitigate microarchitecture state attacks. To tackle speculative microarchitecture state vulnerabilities, this work introduces a novel insight that all speculative microarchitecture state exploits rely on a victim application to access secure cluster's memory regions. Thus, IRONHIDE incorporates a lightweight hardware check that detects such accesses, and stall them until they resolve. This mitigates potential speculative microarchitecture state attacks. Lastly, IRONHIDE enables dynamic hardware isolation by reallocating core-level resources across clusters to exploit multicore parallelism, while ensuring strong isolation for dynamically allocated resources.

READ FULL TEXT

page 1

page 2

page 7

page 8

page 11

page 13

research
04/29/2019

IRONHIDE: A Secure Multicore that Efficiently Mitigates Microarchitecture State Attacks for Interactive Applications

Microprocessors enable aggressive hardware virtualization by means of wh...
research
09/03/2020

Enclave-Aware Compartmentalization and Secure Sharing with Sirius

Hardware-assisted trusted execution environments (TEEs) are critical bui...
research
06/26/2023

Citadel: Enclaves with Strong Microarchitectural Isolation and Secure Shared Memory on a Speculative Out-of-Order Processor

We present Citadel, to our knowledge, the first enclave platform with st...
research
01/21/2020

Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX

Intel Software Guard Extensions (SGX) enables user-level code to create ...
research
06/14/2011

Supporting Parallelism in Server-based Multiprocessor Systems

Developing an efficient server-based real-time scheduling solution that ...
research
09/06/2020

Secure Memory Management on Modern Hardware

Almost all modern hardware, from phone SoCs to high-end servers with acc...
research
04/22/2013

Invasive Computing - Common Terms and Granularity of Invasion

Future MPSoCs with 1000 or more processor cores on a chip require new me...

Please sign up or login with your details

Forgot password? Click here to reset