Formal Definition and Verification for Combined Random Fault and Random Probing Security.
Sonia BelaïdJakob FeldtkellerTim GüneysuAnna GuinetJan Richter-BrockmannMatthieu RivainPascal SasdrichAbdul Rahman TalebPublished in: IACR Cryptol. ePrint Arch. (2024)