Skip to content

Back to the catalog

CHARRM - Characterizing Hardware Leakage in the Robust Random Probing Model
eprint.iacr.orgpaper

CHARRM - Characterizing Hardware Leakage in the Robust Random Probing Model

CHARRM is a verification methodology for masked hardware circuits in the (g, t, c)-robust (p, ε)-random probing model. It extends leakage characteristics to glitch-extended and transition-extended robust probing on arbitrary circuit structures, and links them to the Set of Input Shares (SIS) function for composability notions. It outperforms IronMask on larger circuits and gives exact verification of larger composed circuits in case studies.

TL;DR Presents an automated framework that computes leakage probability bounds for masked hardware under glitch and transition effects, faster and more accurate than IronMask on larger circuits.
Open original ↗

Organisations named here

  • leakage characteristic
  • robust probing model
  • Set of Input Shares

Technologies named here

  • IronMask

Related in Hardware & RF