Domain-Oriented Masking: Generically Masked Hardware Implementations

Hannes Groß

Publikation: StudienabschlussarbeitDissertationForschung

Abstract

An ever-growing number of devices are threatened by low-cost Side-Channel Analysis (SCA) attacks and therefore require efficient protection mechanisms. Masking provides a high level of resistance against SCA at an adjustable level of security. A high level of SCA resistance, however, goes hand in hand with an increasing demand for chip area and fresh randomness which drastically increases the overall implementation costs. In this thesis, we investigate efficient ways to protect security-sensitive hardware implementations against SCA by means of Boolean masking, and show formal methods to prove the security claims of our masked hardware implementations.
Originalspracheenglisch
QualifikationDoctor of Philosophy
Gradverleihende Hochschule
  • Technische Universität Graz (90000)
Betreuer/-in / Berater/-in
  • Mangard, Stefan, Betreuer
  • Batina, Lejla, Berater, Externe Person
PublikationsstatusVeröffentlicht - 2018

Fingerprint

Hardware
Formal methods
Costs

Dies zitieren

Domain-Oriented Masking : Generically Masked Hardware Implementations. / Groß, Hannes.

2018. 173 S.

Publikation: StudienabschlussarbeitDissertationForschung

Groß, H 2018, 'Domain-Oriented Masking: Generically Masked Hardware Implementations', Doctor of Philosophy, Technische Universität Graz (90000).
@phdthesis{d3aa9025db8b4b72b325a2e268f4e703,
title = "Domain-Oriented Masking: Generically Masked Hardware Implementations",
abstract = "An ever-growing number of devices are threatened by low-cost Side-Channel Analysis (SCA) attacks and therefore require efficient protection mechanisms. Masking provides a high level of resistance against SCA at an adjustable level of security. A high level of SCA resistance, however, goes hand in hand with an increasing demand for chip area and fresh randomness which drastically increases the overall implementation costs. In this thesis, we investigate efficient ways to protect security-sensitive hardware implementations against SCA by means of Boolean masking, and show formal methods to prove the security claims of our masked hardware implementations.",
author = "Hannes Gro{\ss}",
year = "2018",
language = "English",
school = "Graz University of Technology (90000)",

}

TY - THES

T1 - Domain-Oriented Masking

T2 - Generically Masked Hardware Implementations

AU - Groß, Hannes

PY - 2018

Y1 - 2018

N2 - An ever-growing number of devices are threatened by low-cost Side-Channel Analysis (SCA) attacks and therefore require efficient protection mechanisms. Masking provides a high level of resistance against SCA at an adjustable level of security. A high level of SCA resistance, however, goes hand in hand with an increasing demand for chip area and fresh randomness which drastically increases the overall implementation costs. In this thesis, we investigate efficient ways to protect security-sensitive hardware implementations against SCA by means of Boolean masking, and show formal methods to prove the security claims of our masked hardware implementations.

AB - An ever-growing number of devices are threatened by low-cost Side-Channel Analysis (SCA) attacks and therefore require efficient protection mechanisms. Masking provides a high level of resistance against SCA at an adjustable level of security. A high level of SCA resistance, however, goes hand in hand with an increasing demand for chip area and fresh randomness which drastically increases the overall implementation costs. In this thesis, we investigate efficient ways to protect security-sensitive hardware implementations against SCA by means of Boolean masking, and show formal methods to prove the security claims of our masked hardware implementations.

M3 - Doctoral Thesis

ER -