An Algebraic Approach for Evaluating Random Probing Security With Application to AES
Abstract: We employ an algebraic approach to estimate the success rate of a sidechannel adversary attacking secrets of a masked circuit within the Random Probing Model (RPM), where intermediate variables of the implementation leak with a probability p. Our method efficiently handles masked linear circuits, enabling security bound estimation for practically large masking orders. For non-linear circuits, we employ a linearization technique. To reason about the security of complex structures like an S-box, we introduce a composition theorem, reducing the RPM security of a circuit to that of its constituent gadgets. Moreover, we lower the complexity of the multiplication gadget of CHES 2016 from O(n2 log(n)) to O(n2) while demonstrating its conjectured RPM security. Collectively, these novel methods enable the development of a practical masking scheme with O(n2) complexity for AES, maintaining security for a considerably high leakage rate p ≤ 0.02 ≈ 2−5.6. https://tches.iacr.org/index.php/TCHES/article/view/11806
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
An Algebraic Approach for Evaluating Random Probing Security With Application to AES ; volume:2024 ; number:4 ; year:2024
IACR transactions on cryptographic hardware and embedded systems ; 2024, Heft 4 (2024)
- Urheber
-
Jahandideh, Vahid
Mennink, Bart
Batina, Lejla
- DOI
-
10.46586/tches.v2024.i4.657-689
- URN
-
urn:nbn:de:101:1-2409251854420.976522731054
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:29 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Jahandideh, Vahid
- Mennink, Bart
- Batina, Lejla
Ähnliche Objekte (12)
Random Probing Security with Precomputation
Modes of convergence of random variables and algebraic genericity
Probing multiparticle correlations in random quantum circuits with randomized measurements
First-detection time of a quantum state under random probing
Algebraic aggregation of random forests: towards explainability and rapid evaluation
Algebraic structures in the set of sequences of independent random variables
AES, AES+F
Random walks in the quarter plane : algebraic methods, boundary value problems and applications
Algebraic curves, algebraic manifolds and schemes
Probing technoscience
AES
AES
Random Probing Security with Precomputation
Modes of convergence of random variables and algebraic genericity
Probing multiparticle correlations in random quantum circuits with randomized measurements
First-detection time of a quantum state under random probing
Algebraic aggregation of random forests: towards explainability and rapid evaluation
Algebraic structures in the set of sequences of independent random variables
AES, AES+F
Random walks in the quarter plane : algebraic methods, boundary value problems and applications
Algebraic curves, algebraic manifolds and schemes
Probing technoscience
AES
AES
Random Probing Security with Precomputation
Modes of convergence of random variables and algebraic genericity
Probing multiparticle correlations in random quantum circuits with randomized measurements
First-detection time of a quantum state under random probing
Algebraic aggregation of random forests: towards explainability and rapid evaluation
Algebraic structures in the set of sequences of independent random variables
AES, AES+F
Random walks in the quarter plane : algebraic methods, boundary value problems and applications
Algebraic curves, algebraic manifolds and schemes
Probing technoscience
AES