Domain-Oriented Masking: Generically Masked Hardware Implementations

Hannes Groß

Research output: ThesisDoctoral ThesisResearch

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.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Graz University of Technology (90000)
Supervisors/Advisors
  • Mangard, Stefan, Supervisor
  • Batina, Lejla, Advisor, External person
Publication statusPublished - 2018

Fingerprint

Hardware
Formal methods
Costs

Cite this

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

2018. 173 p.

Research output: ThesisDoctoral ThesisResearch

Groß, H 2018, 'Domain-Oriented Masking: Generically Masked Hardware Implementations', Doctor of Philosophy, Graz University of Technology (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 -