CocoAlma: A Versatile Masking Verifier

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Abstract

Masking techniques are an effective countermeasure against power side-channel attacks.
Unfortunately, correctly masking a hardware circuit is difficult, and mistakes may lead to functionally correct circuits with insufficient protection.
We present CocoAlma, a tool that formally verifies the side-channel resistance of stateful hardware circuits.
Although CocoAlma was initially used to verify programs running on CPUs, we extended it to verify the security of several industrial masked hardware implementations.
We give an overview of the tool's structure, implementation details, optimizations that make it faster and more scalable than its predecessor Rebecca, and changes that enable verifying the probing security of any stateful hardware circuit.
Finally, we evaluate CocoAlma with masked implementations of the Prince and AES ciphers.
Originalspracheenglisch
TitelProceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021
Redakteure/-innenRuzica Piskac, Michael W. Whalen, Warren A. Hunt, Georg Weissenbacher
Seiten14-23
Seitenumfang10
ISBN (elektronisch)978-3-85448-046-4
DOIs
PublikationsstatusVeröffentlicht - 9 Juli 2021
Veranstaltung21st International Conference on Formal Methods in Computer-Aided Design: FMCAD 2021 - Online, Virtuell, Österreich
Dauer: 18 Okt. 202122 Okt. 2021
https://fmcad.org/FMCAD21/

Publikationsreihe

NameProceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021

Konferenz

Konferenz21st International Conference on Formal Methods in Computer-Aided Design
KurztitelFMCAD 2021
Land/GebietÖsterreich
OrtVirtuell
Zeitraum18/10/2122/10/21
Internetadresse

ASJC Scopus subject areas

  • Sicherheit, Risiko, Zuverlässigkeit und Qualität
  • Computergrafik und computergestütztes Design

Fingerprint

Untersuchen Sie die Forschungsthemen von „CocoAlma: A Versatile Masking Verifier“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren