MIRACLE: MIcRo-ArChitectural Leakage Evaluation

In this paper, we describe an extensible experimental infrastructure for evaluating the micro-architectural leakage, based on power consumption, that stems from a physical device. Building on existing literature, we use it to systematically study 14 different devices, which span 4 different instruc...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ben Marshall, Dan Page, James Webb
Formato: article
Lenguaje:EN
Publicado: Ruhr-Universität Bochum 2021
Materias:
Acceso en línea:https://doaj.org/article/1f852e29b3fb4094be3b5a0da3797f2e
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
id oai:doaj.org-article:1f852e29b3fb4094be3b5a0da3797f2e
record_format dspace
spelling oai:doaj.org-article:1f852e29b3fb4094be3b5a0da3797f2e2021-11-19T14:36:12ZMIRACLE: MIcRo-ArChitectural Leakage Evaluation10.46586/tches.v2022.i1.175-2202569-2925https://doaj.org/article/1f852e29b3fb4094be3b5a0da3797f2e2021-11-01T00:00:00Zhttps://tches.iacr.org/index.php/TCHES/article/view/9294https://doaj.org/toc/2569-2925 In this paper, we describe an extensible experimental infrastructure for evaluating the micro-architectural leakage, based on power consumption, that stems from a physical device. Building on existing literature, we use it to systematically study 14 different devices, which span 4 different instruction set architectures and 4 different vendors. The study allows a characterisation of each device with respect to any leakage effects stemming from sources within the micro-architectural implementation. We use it, for example, to identify and document several novel leakage effects (e.g., due to speculative instruction execution), and scenarios where an assumption about leakage is non-portable between different yet compatible devices. Ours is the widest study of its kind we are aware of, and highlights a range of challenges with respect to 1) the design, implementation, and evaluation of, e.g., masking schemes, 2) construction of accurate leakage models, and 3) selection of suitable devices for experimental research. For example, in relation to 1), we cast further doubt on whether a given device upholds the assumptions required by a given masking scheme; in relation to 2), we conclude that (statistical or formal) device leakage models must include information about the micro-architecture being modelled; in relation to 3), we claim the near mono-culture of devices that dominates existing literature is insufficient to support general claims regarding leakage. This is particularly important in the context of the FIPS 140-3 standard for non-invasive side-channel evaluation. Ben MarshallDan PageJames WebbRuhr-Universität Bochumarticleside-channel attackmicro-architectural leakagedevice leakage modellingComputer engineering. Computer hardwareTK7885-7895Information technologyT58.5-58.64ENTransactions on Cryptographic Hardware and Embedded Systems, Vol 2022, Iss 1 (2021)
institution DOAJ
collection DOAJ
language EN
topic side-channel attack
micro-architectural leakage
device leakage modelling
Computer engineering. Computer hardware
TK7885-7895
Information technology
T58.5-58.64
spellingShingle side-channel attack
micro-architectural leakage
device leakage modelling
Computer engineering. Computer hardware
TK7885-7895
Information technology
T58.5-58.64
Ben Marshall
Dan Page
James Webb
MIRACLE: MIcRo-ArChitectural Leakage Evaluation
description In this paper, we describe an extensible experimental infrastructure for evaluating the micro-architectural leakage, based on power consumption, that stems from a physical device. Building on existing literature, we use it to systematically study 14 different devices, which span 4 different instruction set architectures and 4 different vendors. The study allows a characterisation of each device with respect to any leakage effects stemming from sources within the micro-architectural implementation. We use it, for example, to identify and document several novel leakage effects (e.g., due to speculative instruction execution), and scenarios where an assumption about leakage is non-portable between different yet compatible devices. Ours is the widest study of its kind we are aware of, and highlights a range of challenges with respect to 1) the design, implementation, and evaluation of, e.g., masking schemes, 2) construction of accurate leakage models, and 3) selection of suitable devices for experimental research. For example, in relation to 1), we cast further doubt on whether a given device upholds the assumptions required by a given masking scheme; in relation to 2), we conclude that (statistical or formal) device leakage models must include information about the micro-architecture being modelled; in relation to 3), we claim the near mono-culture of devices that dominates existing literature is insufficient to support general claims regarding leakage. This is particularly important in the context of the FIPS 140-3 standard for non-invasive side-channel evaluation.
format article
author Ben Marshall
Dan Page
James Webb
author_facet Ben Marshall
Dan Page
James Webb
author_sort Ben Marshall
title MIRACLE: MIcRo-ArChitectural Leakage Evaluation
title_short MIRACLE: MIcRo-ArChitectural Leakage Evaluation
title_full MIRACLE: MIcRo-ArChitectural Leakage Evaluation
title_fullStr MIRACLE: MIcRo-ArChitectural Leakage Evaluation
title_full_unstemmed MIRACLE: MIcRo-ArChitectural Leakage Evaluation
title_sort miracle: micro-architectural leakage evaluation
publisher Ruhr-Universität Bochum
publishDate 2021
url https://doaj.org/article/1f852e29b3fb4094be3b5a0da3797f2e
work_keys_str_mv AT benmarshall miraclemicroarchitecturalleakageevaluation
AT danpage miraclemicroarchitecturalleakageevaluation
AT jameswebb miraclemicroarchitecturalleakageevaluation
_version_ 1718420057384550400