Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks (Q3104720)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks |
scientific article |
Statements
Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks (English)
0 references
16 December 2011
0 references
side-channel attacks (SCAs)
0 references
masking countermeasure
0 references
non-injective leakage function
0 references
correlation power analysis (CPA)
0 references
second-order CPA (2O-CPA)
0 references
mutual information analysis (MIA)
0 references
entropy vs security tradeoff
0 references
SAT-solvers
0 references
